{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:34:27Z","timestamp":1725489267467},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667124"},{"type":"electronic","value":"9783540468523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46852-8_40","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T03:54:28Z","timestamp":1187150068000},"page":"566-583","source":"Crossref","is-referenced-by-count":22,"title":["Interconnecting Objects via Contracts"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Filipe","family":"Andrade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"G.A. Agha, ACTORS: A model of Concurrent Computation in Distributed Systems, MIT Press 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and T. Maibaum, \u201cCategorical Semantics of Parallel Program Design\u201d, Science of Computer Programming 28, 1997, 111\u2013138.","journal-title":"Science of Computer Programming"},{"key":"40_CR4","series-title":"Lect Notes Comput Sci","first-page":"505","volume-title":"TAPSOFT\u201997","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and A. Lopes, \u201cSemantics of Architectural Connectors\u201d, in TAPSOFT\u201997, LNCS 1214, Springer-Verlag 1997, 505\u2013519."},{"key":"40_CR5","unstructured":"N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996."},{"key":"40_CR6","unstructured":"E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1995."},{"key":"40_CR7","unstructured":"J. Goguen, \u201cCategorical Foundations for General Systems Theory\u201d, in F. Pichler and R. Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121\u2013130."},{"issue":"2","key":"40_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"S. Katz, \u201cA Superimposition Control Construct for Distributed Systems\u201d, ACM TOPLAS 15(2), 1993, 337\u2013356.","journal-title":"ACM TOPLAS"},{"key":"40_CR9","unstructured":"H. Kilov and J. Ross, Information Modeling: an Object-oriented Approach, Prentice-Hall 1994."},{"key":"40_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/978-3-540-49020-3_10","volume-title":"Proc. International Conference on Fundamental Aspects of Software Engineering (FASE\u201999)","author":"A. Lopes","year":"1999","unstructured":"A. Lopes and J.L. Fiadeiro, \u201cUsing Explicit State to Describe Architectures\u201d, in Proc. International Conference on Fundamental Aspects of Software Engineering (FASE\u201999), J-P. Finance (ed), LNCS 1577, Springer-Verlag 1999, 144\u2013160."},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"J. Magee and J. Kramer, \u201cDynamic Structure in Software Architecures\u201d, in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3\u201314.","DOI":"10.1145\/250707.239104"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"B. Meyer, \u201cApplying Design by Contract\u201d, IEEE Computer, Oct.1992, 40\u201351.","DOI":"10.1109\/2.161279"},{"issue":"12","key":"40_CR13","first-page":"482","volume":"22","author":"N. Minsky","year":"1987","unstructured":"N. Minsky and D. Rozenshtein, \u201cA Law-based Approach to Object-oriented Programming\u201d, in Proc. OOPSLA\u201987, ACM Sigplan Notices 22(12), 1987, 482\u2013493.","journal-title":"Proc. OOPSLA\u201987"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"N. Minsky, \u201cLaw-governed Regularities in Object Systems; Part1: an Abstract Model\u201d, in TAPOS II(4), 1996.","DOI":"10.1002\/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V"},{"key":"40_CR15","unstructured":"M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall 1996."},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"M. Wermelinger and J.L. Fiadeiro, \u201cTowards an Algebra of Architectural Connectors: a Case Study on Synchronisation for Mobility\u201d, in Proc. 9th International Workshop on Software Specification and Design, IEEE Computer Society Press 1998, 135\u2013142.","DOI":"10.1109\/IWSSD.1998.667928"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb\u201999 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46852-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T15:28:52Z","timestamp":1629559732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46852-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667124","9783540468523"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46852-8_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}