{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:40:36Z","timestamp":1759992036854,"version":"3.32.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"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":[[2005,7]]},"DOI":"10.1007\/s10270-005-0085-2","type":"journal-article","created":{"date-parts":[[2005,6,6]],"date-time":"2005-06-06T15:09:03Z","timestamp":1118070543000},"page":"277-296","source":"Crossref","is-referenced-by-count":31,"title":["Unifying classes and processes"],"prefix":"10.1007","volume":"4","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,1]]},"reference":[{"key":"85_CR1","doi-asserted-by":"crossref","unstructured":"Abrial J-R (1996) The B-Book: Assigning Progams to Meanings. Cambridge University Press","DOI":"10.1017\/CBO9780511624162"},{"key":"85_CR2","unstructured":"Back RJR (1987) Procedural Abstraction in the Refinement Calculus. Technical report, Department of Computer Science, \u00c5bo, Finland. Ser. A No. 55."},{"key":"85_CR3","unstructured":"Bolognesi T (2003) On State-oriented versus Object-oriented Thinking in Formal Behavioural Specifications. Technical Report 2003-TR-20, ISTI \u2013 Istituto di Scienza e Tecnologie della Informazione Alessandro Faedo"},{"key":"85_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.scico.2004.03.003","volume":"52","author":"Borba","year":"2004","unstructured":"Borba PHM, Sampaio ACA, Cavalcanti ALC, Corn\u00e9lio ML (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming 52:53\u2013100","journal-title":"Science of Computer Programming"},{"key":"85_CR5","doi-asserted-by":"crossref","unstructured":"Borba PHM, Sampaio ACA, Corn\u00e9lio ML (2003) A Refinement Algebra for Object-oriented Programming. In: European Conference on Object-oriented Programming 2003 \u2013 ECOOP 2003. Lecture Notes in Computer Science, vol 2743. Springer-Verlag, pp 457\u2013482","DOI":"10.1007\/978-3-540-45070-2_20"},{"key":"85_CR6","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1109\/32.879810","volume":"26","author":"Cavalcanti","year":"2000","unstructured":"Cavalcanti ALC, Naumann DA (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering 26(8):713\u2013728","journal-title":"IEEE Transactions on Software Engineering"},{"key":"85_CR7","doi-asserted-by":"crossref","unstructured":"Cavalcanti ALC, Naumann DA (2002) Forward simulation for data refinement of classes. In: Eriksson L, Lindsay PA (eds) FME 2002: Formal Methods \u2013 Getting IT Right, Lecture Notes in Computer Science, vol 2391. Springer-Verlag, pp 471\u2013490","DOI":"10.1007\/3-540-45614-7_27"},{"key":"85_CR8","doi-asserted-by":"crossref","unstructured":"Cavalcanti ALC, Sampaio ACA, Woodcock JCP (2002) Refinement of Actions in Circus. In: Proceedings of REFINE\u20192002, Eletronic Notes in Theoretical Computer Science. Invited paper","DOI":"10.1016\/S1571-0661(05)80489-X"},{"key":"85_CR9","doi-asserted-by":"crossref","unstructured":"Cavalcanti ALC, Sampaio ACA, Woodcock JCP (2003) A Refinement Strategy for Circus. Formal Aspects of Computing 15(2\u20133):146\u2013181","DOI":"10.1007\/s00165-003-0006-5"},{"key":"85_CR10","doi-asserted-by":"crossref","unstructured":"Derrick J, Boiten E (2001) Refinement in Z and Object-Z. Springer","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"85_CR11","unstructured":"Dijkstra EW (1976) A Discipline of Programming. Prentice-Hall"},{"key":"85_CR12","doi-asserted-by":"crossref","unstructured":"Fischer C (1997) CSP-OZ: A combination of Object-Z and CSP. In: Bowman H, Derrick J (eds) Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201997), vol 2. Chapman & Hall, pp 423\u2013438","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"85_CR13","doi-asserted-by":"crossref","unstructured":"Fischer C (1998) How to Combine Z with a Process Algebra. In: Bowen J, Fett A, Hinchey M (eds) ZUM\u201998: The Z Formal Specification Notation. Springer-Verlag","DOI":"10.1007\/978-3-540-49676-2_2"},{"key":"85_CR14","first-page":"from","volume":"Data","author":"Fischer","year":"2000","unstructured":"Fischer C (2000) Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, Fachbereich Informatik Universit\u00e4t Oldenburg","journal-title":"Combination and Implementation of Processes and"},{"key":"85_CR15","doi-asserted-by":"crossref","unstructured":"Fisher C, Wehrheim H (2000) Behavioural Subtyping Relations for Object-oriented Formalisms. In: Rus T (ed) AMAST 2000: International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, vol 1816","DOI":"10.1007\/3-540-45499-3_33"},{"key":"85_CR16","unstructured":"Formal Systems (Europe) Ltd (1999) FDR: User Manual and Tutorial, version 2.28"},{"key":"85_CR17","unstructured":"Fowler M (1999) Refactoring. Addison-Wesley"},{"key":"85_CR18","unstructured":"Gosling J, Joy B, Steele G (1996) The Java Language Specification. Addison-Wesley"},{"key":"85_CR19","doi-asserted-by":"crossref","unstructured":"Hoare CAR, He J (1998) Unifying Theories of Programming. Prentice-Hall","DOI":"10.1007\/BFb0002714"},{"key":"85_CR20","doi-asserted-by":"crossref","unstructured":"Ichbiah J (1979) Rationale for the Design of the Ada Programming Language. ACM SIGPLAN Notices 14(6B (special issue))","DOI":"10.1145\/956653.956654"},{"key":"85_CR21","unstructured":"Jones G (1988) Programming in occam 2. Prentice-Hall"},{"key":"85_CR22","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"Mahony","year":"2000","unstructured":"Mahony B, Dong JS (2000) Timed Communicating Object Z. IEEE Transactions on Software Engineering 26(2):150\u2013177","journal-title":"IEEE Transactions on Software Engineering"},{"key":"85_CR23","unstructured":"Morgan CC (1994) Programming from Specifications. Prentice-Hall, 2nd edition"},{"key":"85_CR24","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/PL00003927","volume":"10","author":"Morris","year":"1998","unstructured":"Morris JM, Bunkenburg A (1998) Partiality and Nondeterminacy in Program Proofs. Formal Aspects of Computer Science 10:76\u201396","journal-title":"Formal Aspects of Computer Science"},{"key":"85_CR25","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0167-6423(00)00023-X","volume":"40","author":"Mota","year":"2001","unstructured":"Mota AC, Sampaio ACA (2001) Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming 40:59\u201396","journal-title":"Science of Computer Programming"},{"key":"85_CR26","doi-asserted-by":"crossref","unstructured":"Oliveira MVM, Cavalcanti ALC (2004) From Circus to JCSP. In: Davies J et al. (eds) Sixth International Conference on Formal Engineering Methods. Lecture Notes in Computer Science, vol 3308. Springer-Verlag, pp 320\u2013340, November 2004","DOI":"10.1007\/978-3-540-30482-1_29"},{"key":"85_CR27","unstructured":"Roscoe AW (1998) The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall"},{"key":"85_CR28","doi-asserted-by":"crossref","unstructured":"Sampaio ACA, Mota AC, Ramos RT (2003) Class and Capsule Refinement in UML for Real Time. In: Cavalcanti ALC, Machado PDL (eds) WMF 2003: 6th Brazilian Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science, vol 95. Elsevier Science. Invited paper","DOI":"10.1016\/j.entcs.2004.04.004"},{"key":"85_CR29","doi-asserted-by":"crossref","unstructured":"Sampaio ACA, Mota AC, Ramos RT (2004) Class and Capsule Refinement in UML for Real Time. In: Cavalcanti ALC, Machado P (eds) WMF 2003: 6th Brazilian Workshop on Formal Methods, Electronic Notes in Theoretical Computer Science, vol 95. Elsevier","DOI":"10.1016\/j.entcs.2004.04.004"},{"key":"85_CR30","doi-asserted-by":"crossref","unstructured":"Sampaio ACA, Woodcock JCP, Cavalcanti ALC (2002) Refinement in Circus. In: Eriksson L, Lindsay PA (eds) FME 2002: Formal Methods \u2013 Getting IT Right, Lecture Notes in Computer Science, vol 2391. Springer-Verlag, pp 451\u2013470","DOI":"10.1007\/3-540-45614-7_26"},{"key":"85_CR31","doi-asserted-by":"crossref","unstructured":"Schneider S, Treharne H (2002) Communicating B Machines. In: Bert D, Bowen J, Henson M, Robinson K (eds) ZB\u20192002: Formal Specification and Development in Z and B, Lecture Notes in Computer Science, vol 2272, pp 416\u2013435","DOI":"10.1007\/3-540-45648-1_22"},{"key":"85_CR32","unstructured":"Smith G (1999) The Object-Z Specification Language. Kluwer Academic Publishers"},{"key":"85_CR33","unstructured":"Sweeney C, Bowen M (1998) D-1-C Handel-C Language Reference Manual. Embedded Solutions Ltd"},{"key":"85_CR34","unstructured":"Wehrheim H (2000) Subtyping patterns for active objects. In: 8ter Workshop des GI Arbeitskreises GROOM (Grundlagen objektorientierter Modellierung)"},{"key":"85_CR35","unstructured":"Welch PH, Aldous JR, Foster J (2002) CSP Networking for Java (JCSP.net). In: Global and Collaborative Computing Workshop Proceedings, ICCS 2002, Lecture Notes in Computer Science, vol 2330. Springer-Verlag, pp 695\u2013708"},{"key":"85_CR36","unstructured":"Woodcock JCP, Cavalcanti ALC (2001) A Concurrent Language for Refinement. In: Butterfield A, Pahl C (eds) IWFM\u201901: 5th Irish Workshop in Formal Methods, BCS Electronic Workshops in Computing, Dublin, Ireland, July 2001"},{"key":"85_CR37","doi-asserted-by":"crossref","unstructured":"Woodcock JCP, Cavalcanti ALC (2002) The Semantics of Circus. In: Bert D, Bowen JP, Henson MC, Robinson K (eds) ZB 2002: Formal Specification and Development in Z and B, Lecture Notes in Computer Science, vol 2272. Springer-Verlag, pp 184\u2013203","DOI":"10.1007\/3-540-45648-1_10"},{"key":"85_CR38","unstructured":"Woodcock JCP, Davies J (1996) Using Z \u2013 Specification, Refinement, and Proof. Prentice-Hall"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0085-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0085-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0085-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0085-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T14:34:36Z","timestamp":1735742076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0085-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0085-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}