{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:42Z","timestamp":1748072802983},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_70","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"18-31","source":"Crossref","is-referenced-by-count":21,"title":["Exposing the skeleton in the coordination closet"],"prefix":"10.1007","author":[{"given":"Jeff","family":"Kramer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Magee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Allen R. and Garlan D., Formalizing Architectural Connection, (Proc. of 16th International Conference on Software Engineering (ICSE 16), Sorrento, May 1994, 71\u201380.","DOI":"10.1109\/ICSE.1994.296767"},{"issue":"2","key":"2_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1049\/sej.1993.0012","volume":"8","author":"M. Barbacci","year":"1993","unstructured":"Barbacci M. et al, Durra: a structure description language for developing distributed applications, IEE Software Engineering Journal, Vol. 8, No. 2, March 1993, pp83\u201394.","journal-title":"IEE Software Engineering Journal"},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/235321.235323","volume":"5","author":"S.C. Cheung","year":"1996","unstructured":"Cheung S.C. and Kramer J., Context Constraints for Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology TOSEM, 5 (4), (1996), 334\u2013377.","journal-title":"ACM Transactions on Software Engineering Methodology TOSEM"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Cheung S.C. and Kramer J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, (Proc. of 18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996), 144\u2013154.","DOI":"10.1109\/ICSE.1996.493410"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Cheung S.C., Giannakopoulou D., and Kramer J., Verification of Liveness Properties using Compositional Reachability Analysis, accepted for (6th European Software Engineering Conference \/ 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 97), Zurich, Sept. 1997).","DOI":"10.1007\/3-540-63531-9_17"},{"issue":"10","key":"2_CR6","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra E.W., The Humble Programmer, Comms. Of the ACM, 15, 10, 859\u2013866, Oct. 1972.","journal-title":"Comms. Of the ACM"},{"key":"2_CR7","unstructured":"Giannakopoulou D., Kramer J. and Cheung S.C., TRACTA: An Environment for Analysing the Behaviour of Distributed Systems, (Proc. of 1st ACM SIGPLAN Workshop on Automatic Analysis of Software (AAS `97)), Paris, January 1997, 113\u2013126."},{"issue":"4","key":"2_CR8","first-page":"269","volume":"21","author":"D. Garlan","year":"1995","unstructured":"Garlan D. and Perry D.E., Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21 (4), April 1995, pp 269\u2013274.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"2_CR9","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1109\/32.464547","volume":"21","author":"K.J. Goldman","year":"1995","unstructured":"Goldman, K.J., The Programmers' Playground: I\/O Abstraction for UserConfigurable Distributed Applications, IEEE Trans. on Software Eng., SE 21 (9), (1995), 735\u2013746.","journal-title":"IEEE Trans. on Software Eng., SE"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Graves, H., Lockheed Environment for Automatic Programming, Proc. of KBSE 91, 6th IEEE Knowledge Based Software Engineering Conference, 1991, pp 68\u201376.","DOI":"10.1109\/KBSE.1991.638022"},{"key":"2_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0005-1098(84)90068-2","volume":"20","author":"J. Kramer","year":"1984","unstructured":"Kramer J., Magee J. and Sloman M.S. A Software Architecture for Distributed Computer Control Systems, Automatica, 20, (1984), 93\u2013102.","journal-title":"Automatica"},{"issue":"4","key":"2_CR13","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TSE.1985.232231","volume":"SE-11","author":"J. Kramer","year":"1985","unstructured":"Kramer J. and Magee J., Dynamic Configuration for Distributed Systems, IEEE Trans. on Software Eng., SE-11 (4), (1985), 424\u2013436.","journal-title":"IEEE Trans. on Software Eng."},{"issue":"10","key":"2_CR14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.42014","volume":"22","author":"J. Kramer","year":"1989","unstructured":"Kramer J. Magee J. and Ng K., Graphical Configuration Programming, IEEE Computer, 22 (10), (1989), 53\u201365.","journal-title":"IEEE Computer"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Kramer J., Magee J. and Finkelstein A., A Constructive Approach to the Design of Distributed Systems, (Proc. 10th IEEE Int. Conf on Distributed Computing Systems, Paris, 1990), 580\u2013587.","DOI":"10.1109\/ICDCS.1990.89266"},{"issue":"11","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"SE-16","author":"J. Kramer","year":"1990","unstructured":"Kramer J. and Magee J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans. on Software Eng., SE-16 (11), (1990), 1293\u20131306.","journal-title":"IEEE Trans. on Software Eng."},{"key":"2_CR17","first-page":"374","volume-title":"(Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90)","author":"J. Kramer","year":"1990","unstructured":"Kramer J., Configuration Programming-A Framework for the Development of Distributable Systems, (Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990), 374\u2013384."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kramer J., Exoskeletal Software, (Proc. of 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, 1994), 366.","DOI":"10.1109\/ICSE.1994.296802"},{"issue":"6","key":"2_CR19","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P.B. Kruchten","year":"1995","unstructured":"Kruchten P.B., The 4+1 Model of Architecture, IEEE Software, 12 (6), Nov. 1995, pp 42\u201350.","journal-title":"IEEE Software"},{"issue":"4","key":"2_CR20","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham D.C. et al., Specification and Analysis of Software Architecture using Rapide, IEEE Transactions on Software Engineering, 21(4), April 1995, pp 336\u2013355.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, (Proc. of 5th European Software Engineering Conference (ESEC `95), Sitges, September 1995), LNCS 989, (Springer-Verlag), 1995, 137\u2013153.","DOI":"10.1007\/3-540-60406-5_12"},{"issue":"5","key":"2_CR22","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1088\/0967-1846\/1\/5\/005","volume":"1","author":"J. Magee","year":"1994","unstructured":"Magee J., Dulay N. and Kramer J., Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, (1994), 304\u2013312.","journal-title":"Distributed Systems Engineering Journal"},{"issue":"6","key":"2_CR23","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1109\/32.24720","volume":"SE-15","author":"J. Magee","year":"1989","unstructured":"Magee J., Kramer J., and Sloman M.S., Constructing Distributed Systems in Conic, tIEEE Trans. on Software Eng., SE-15 (6), (1989), 663\u2013675.","journal-title":"tIEEE Trans. on Software Eng."},{"issue":"6","key":"2_CR24","first-page":"3","volume":"21","author":"J. Magee","year":"1996","unstructured":"Magee J. and Kramer J., Dynamic Structure in Software Architectures, (Proc. of 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, October 1996), SEN, Vol.21, No.6, November 1996, 3\u201314.","journal-title":"SEN"},{"key":"2_CR25","volume-title":"(Third International Symposium on Autonomous Decentralized Systems (ISADS 97)","author":"J. Magee","year":"1997","unstructured":"Magee J., Tseng A., Kramer J., Composing Distributed Objects in CORBA, (Third International Symposium on Autonomous Decentralized Systems (ISADS 97), Berlin, Germany, April 9\u201311, 1997."},{"issue":"3\/4","key":"2_CR26","first-page":"26I","volume":"3","author":"K. Ng","year":"1996","unstructured":"Ng K., Kramer J. and Magee J., Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), 3 (3\/4), Special Issue on CASE-95, (1996), 26I\u2013284.","journal-title":"Journal of Automated Software Engineering (JASE)"},{"issue":"l","key":"2_CR27","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/174625.174629","volume":"16","author":"J.M. Purtilo","year":"1994","unstructured":"Purtilo J.M., The POLYLITH Software Bus, ACM Transactions on Programming Languages, 16(l), January 1994, pp 151\u2013174.","journal-title":"ACM Transactions on Programming Languages"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"Shaw M., et al., Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, 21 (4), April 1995, pp 314\u2013335.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"2_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/52.469758","volume":"12","author":"M. Shaw","year":"1995","unstructured":"Shaw M., Comparing Architectural Design Styles IEEE Software, 12 (6), Nov. 1995, pp 27\u201341.","journal-title":"IEEE Software"},{"issue":"6","key":"2_CR30","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"R. Taylor","year":"1996","unstructured":"Taylor R. et al, A Component-and Message-based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, 22(6), June 1996, pp 390\u2013406.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:04:09Z","timestamp":1555725849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}