{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T00:10:15Z","timestamp":1735949415502,"version":"3.32.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,9,9]],"date-time":"2005-09-09T00:00:00Z","timestamp":1126224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10270-005-0095-0","type":"journal-article","created":{"date-parts":[[2005,9,8]],"date-time":"2005-09-08T21:26:46Z","timestamp":1126214806000},"page":"110-120","source":"Crossref","is-referenced-by-count":0,"title":["Extending UML with coordination contracts"],"prefix":"10.1007","volume":"5","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"J. L.","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,9]]},"reference":[{"key":"95_CR1","unstructured":"Androutsopoulos, K.: The RSDS Tool. Department of Computer Science, King\u2019s College (2001) http:\/\/www. dcs.kcl.ac.uk\/ pg\/kelly\/"},{"key":"95_CR2","unstructured":"ATX Software, CDE Documentation. http:\/\/www.atxsoftware.com\/ agility.html"},{"key":"95_CR3","doi-asserted-by":"crossref","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Interconnecting objects via contracts. In: France, R., Rumpe, B. (eds.) UML\u201999 \u2013 Beyond the Standard, no. 1723 in LNCS, pp. 566\u2013583. Springer-Verlag (1999)","DOI":"10.1007\/3-540-46852-8_40"},{"issue":"(4)","key":"95_CR4","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. Back","year":"1988","unstructured":"Back, R., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM TOPLAS 10(4), 513\u2013554 (1988)","journal-title":"ACM TOPLAS"},{"key":"95_CR5","unstructured":"Berard, B. et al.: Systems and Software Verification: Model-Checking Techniques and Tools. Springer-Verlag (1999)."},{"issue":"(2)","key":"95_CR6","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S Katz","year":"1993","unstructured":"Katz, S: A superimposition control construct for distributed systems. ACM TOPLAS 15(2), 337\u2013356 (1993)","journal-title":"ACM TOPLAS"},{"key":"95_CR7","doi-asserted-by":"crossref","unstructured":"Lano, K., Clark, D., Androutsopoulos, K., Kan, P.: Invariant-based synthesis of fault-tolerant systems. FTRTFT (2000)","DOI":"10.1007\/3-540-45352-0_6"},{"key":"95_CR8","doi-asserted-by":"crossref","unstructured":"Lano, K., Fiadeiro, J.L., Andrade, L.F.: Advanced System Design in Java. Palgrave-MacMillen (2002)","DOI":"10.1007\/978-1-4039-1466-8_7"},{"key":"95_CR9","doi-asserted-by":"crossref","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: UML To B: Formal Verification of Object-oriented Models, IFM \u201804. Springer-Verlag LNCS (2004)","DOI":"10.1007\/978-3-540-24756-2_11"},{"key":"95_CR10","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer, pp. 40\u201351 (1992)","DOI":"10.1109\/2.161279"},{"key":"95_CR11","unstructured":"The Model-Driven Architecture. http:\/\/www.omg.org\/mda"},{"key":"95_CR12","unstructured":"The object constraint language version 2.0. http:\/\/www.omg.org\/"},{"key":"95_CR13","unstructured":"Snoeck, M., Dedene, G., Verhels, M., Depuydt, A.-M.: Object-oriented Enterprise Modelling with MERODE. Leuvense Universitaire Press (1999)"},{"key":"95_CR14","doi-asserted-by":"crossref","unstructured":"Wermelinger, M., Koutsoukos, G., Avillez, R., Gouveia, J., Andrade, L.F., Fiadeiro, J.L.: Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003 pp. 115\u2013120. IEEE Computer Society Press (2003)","DOI":"10.1109\/IWPSE.2003.1231217"},{"key":"95_CR15","doi-asserted-by":"crossref","unstructured":"Wermelinger, M., Koutsoukos, G., Loureno, H., Avillez, R., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Enhancing dependability through flexible adaptation to changing requirements. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds), Architecting Dependable Systems II. Vol. 3069. Lecture Notes in Computer Science, pp. 3\u201324. Springer (2004)","DOI":"10.1007\/978-3-540-25939-8_1"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0095-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0095-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0095-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T23:55:42Z","timestamp":1735948542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0095-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,9]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0095-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2005,9,9]]}}}