{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:30:48Z","timestamp":1725492648383},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411963"},{"type":"electronic","value":"9783540409113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_6","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:23:29Z","timestamp":1192785809000},"page":"77-96","source":"Crossref","is-referenced-by-count":12,"title":["Activity Graphs and Processes"],"prefix":"10.1007","author":[{"given":"Christie","family":"Bolton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray. Use case maps for the capture and validation of distributed systems requirements. In Proceedings of RE\u2019 99, 1999.","DOI":"10.1109\/ISRE.1999.777984"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"C. Bolton and J. Davies. Using relational and behavioural semantics in the verification of object models. In C. Talcott and S. Smith, editors, Proceedings of FMOODS\u2019 00. Kluwer Academic Publishers, 2000. To appear.","DOI":"10.1007\/978-0-387-35520-7_8"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"C. Bolton, J. Davies, and J. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of IFM\u201999. Springer, 1999.","DOI":"10.1007\/978-1-4471-0851-1_15"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Modeling the dynamics of UML state machines","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML state machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Proceedings of ASM\u201900, LNCS. Springer-Verlag, 2000."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"H. Bowman and J. Derrick. A junction between state-based and behavioural specification. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proceedings of FMOODS\u2019 99. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_18"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"S. J. Creese and A. W. Roscoe. Verifying an independent family of inductions simultaneously using data independence and fdr. In Proceedings of FORTE\/PSTV\u2019 99. Kluwer Academic Press, 1999.","DOI":"10.1007\/978-0-387-35578-8_25"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","volume":"17","author":"R. Duke","year":"1995","unstructured":"R. Duke, G. Rose, and G. Smith. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511\u2013533, 1995.","journal-title":"Computer Standards and Interfaces"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201998-Beyond the notation","author":"A.S. Evans","year":"1998","unstructured":"A.S. Evans, R.B. France, K.C. Lano, and B. Rumpe. Developing the UML as a formal modelling notation. In J. Bezivin and P.-A. Muller, editors, UML\u201998-Beyond the notation, volume 1618 of LNCS. Springer, 1998."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Innovations in the Notation of Standard Z","author":"C. Fischer","year":"1998","unstructured":"C. Fischer. How to combine Z with a process algebra. In J. Bowen, A. Fett, and M. Hinchey, editors, Proceedings of ZUM\u2019 98, volume 1493 of LNCS. Springer-Verlag, 1998."},{"key":"6_CR10","unstructured":"C. Fischer. Combination and implementation of processes and data: from csp-oz to java. PhD thesis, University of Oldenburg, 2000."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie, and M. Shroff. Exploring the semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proceedings of FMOODS\u2019 97, volume 2. Chapman and Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9_17"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Proceedings of FMOODS\u2019 99. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"6_CR15","unstructured":"R. Lazic. A semantic study of data independence with applications to model checking. PhD thesis, University of Oxford, 1999."},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999-The Unified Modeling Language","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language, volume 1723 of LNCS. Springer, 1999."},{"key":"6_CR17","unstructured":"Object Management Group. Unified Modeling Language Specification, version 1.3. Rational Software Corporation, Santa Clara, CA 95051, USA, June 1999."},{"key":"6_CR18","unstructured":"J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall International, 1981."},{"key":"6_CR19","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, 1998."},{"key":"6_CR20","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language reference manual. Addison-Wesley, 1997."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z specification language. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"6_CR22","unstructured":"J. M. Spivey. The Z notation: a reference manual. Prentice-Hall International, 1992."},{"key":"6_CR23","unstructured":"J. C. P. Woodcock and J. Davies. Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science, 1996."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T12:47:15Z","timestamp":1684068435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}