{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:48Z","timestamp":1725495408328},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_1","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Modeling for Mere Mortals"],"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":[[1999,3,12]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. M. Clarke","year":"1996","unstructured":"Clarke, E. M., Wing, J. M., et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, Vol. 28 No. 4 (1996), 626\u2013643.","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"1_CR2","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1145\/242223.242252","volume":"28","author":"R. Cleaveland","year":"1996","unstructured":"Cleaveland, R., Smolka, S. A., et al. Strategic Directions in Concurrency Research. ACM Computing Surveys, Vol. 28 No. 4 (1996), 607\u2013625.","journal-title":"ACM Computing Surveys"},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Proc. of 5th European Software Engineering Conference (ESEC\u2019 95)","author":"J. Magee","year":"1995","unstructured":"Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, Proc. of 5th European Software Engineering Conference (ESEC\u2019 95), LNCS 989, Springer-Verlag (1995), 137\u2013153."},{"issue":"5","key":"1_CR4","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, Vol. 1 No. 5, Special Issue on Configurable Distributed Systems, (1994), 304\u2013312.","journal-title":"Distributed Systems Engineering Journal"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-63383-9_70","volume-title":"Proc. of 2nd International Conf. on Coordination Models and Languages (COORDINATION\u2019 97)","author":"J. Kramer","year":"1997","unstructured":"Kramer, J. and Magee, J. Exposing the Skeleton in the Coordination Closet. Proc. of 2nd International Conf. on Coordination Models and Languages (COORDINATION\u2019 97), LNCS 1282, Springer-Verlag (1997),18\u201331."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Kramer, J., and Cheung, S. C. Analysing the Behaviour of Distributed Systems using Tracta. Journal of Automated Software Engineering, Special Issue on Automated Analysis of Software (ed. Cleaveland R. and Jackson D.), Vol. 6 No. 1, (1999).","DOI":"10.1023\/A:1008645800955"},{"issue":"4","key":"1_CR7","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 and Methodology TOSEM, Vol. 5 No.4, (1996), 334\u2013377.","journal-title":"ACM Transactions on Software Engineering and Methodology TOSEM"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Cheung, S. C. and Kramer, J. Checking Safety Properties using Compositional Reachability Analysis. ACM Transactions on Software Engineering and Methodology TOSEM, to appear, (1999).","DOI":"10.1145\/295558.295570"},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-63531-9_17","volume-title":"Proc. of joint 6th European Software Engineering Conference (ESEC\u2019 97), 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE\u2019 97), Zurich, Switzerland","author":"S. C. Cheung","year":"1997","unstructured":"Cheung, S. C., Giannakopoulou, D., and Kramer, J. Verification of Liveness Properties using Compositional Reachability Analysis. Proc. of joint 6th European Software Engineering Conference (ESEC\u2019 97), 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE\u2019 97), Zurich, Switzerland. M. Jazayeri and H. Schauer Eds, LNCS 1301, Springer Verlag (1997), 227\u2013243."},{"key":"1_CR10","unstructured":"Giannakopoulou, D., Magee, J., and Kramer, J. Checking Progress in Concurrent Systems, Imperial College, London, Technical Report DoC 98, (1998)."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., and Giannakopoulou, D. Analysing the Behaviour of Distributed Software Architectures: a Case Study. 5th IEEE Workshop on Future Trends of Distributed Computing Systems, Tunisia (1997), 240\u2013247.","DOI":"10.1109\/FTDCS.1997.644733"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., and Giannakopoulou, D. Software Architecture Directed Behaviour Analysis. Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9), Ise-shima, Japan, (1998).","DOI":"10.1109\/IWSSD.1998.667929"},{"key":"1_CR13","unstructured":"Magee, J. and Kramer, J., Concurrency-State Models and Java Programs. John Wiley &Sons (1999)."},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N. and Gelernter, D. Linda in Context. Communications of the ACM Vol. 32 No. 4 (1989), 444\u2013458.","journal-title":"Communications of the ACM"},{"key":"1_CR15","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)."},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/72551.72553","volume":"21","author":"N. Carriero","year":"1989","unstructured":"Carriero, N. and Gelernter, D. How to write parallel programs: a guide for the perplexed. ACM Computing Surveys Vol. 21 No. 3 (1989), 323\u2013358.","journal-title":"ACM Computing Surveys"},{"key":"1_CR17","unstructured":"Milner, R., Communication and Concurrency. Prentice-Hall (1989)."},{"key":"1_CR18","unstructured":"Formal Systems, Failures Divergence Refinement: FDR 2.0 User Manual, ed. Formal Systems (Europe), Oxford, U.K, (1996)."},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R. and Garlan, D. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology TOSEM, Vol. 6 No.3, (1997), 213\u2013249.","journal-title":"ACM Transactions on Software Engineering and Methodology TOSEM"},{"key":"1_CR20","series-title":"Lect Notes Comput Sci","first-page":"239","volume-title":"Proceedings of TACAS\u2019 97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands","author":"K. Jean-Pierre","year":"1997","unstructured":"Jean-Pierre Krimm and Laurent Mounier. Compositional state space generation from LOTOS programs. In Ed Brinksma, editor, Proceedings of TACAS\u2019 97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, LNCS 1217, Springer-Verlag (1997), 239\u2013258"},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"Holzmann, G. J., The Model Checker SPIN. IEEE Transactions on Software Engineering, Vol. 23 No. 5 (1997), 279\u2013295.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:00:10Z","timestamp":1556967610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}