{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:30:57Z","timestamp":1742380257003},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_19","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"243-257","source":"Crossref","is-referenced-by-count":10,"title":["Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl"],"prefix":"10.1007","author":[{"given":"Gianna","family":"Reggio","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Repetto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Broy, and G. Reggio. Algebraic Specification of Concurrent Systems. In E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors, IFIP WG 1.3 Book on Algebraic Foundations of System Specification, pages 467\u2013520. Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-59851-7_13"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors. IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","first-page":"341","volume-title":"Proc. 7th Int. Conf. Algebraic Methodology and Software Technology (AMAST\u201998), Amazonia, Brazil","author":"M. Bidoit","year":"1999","unstructured":"M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in Casl. In Proc. 7th Int. Conf. Algebraic Methodology and Software Technology (AMAST\u201998), Amazonia, Brazil, Lecture Notes in Computer Science, pages 341\u2013357. Springer Verlag, Berlin, 1999."},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FASE\u201998","author":"R. Bussow","year":"1998","unstructured":"R. Bussow, R. Geisler, and M. Klar. Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. In E. Astesiano, editor, Proc. FASE\u201998, number 1382 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1998."},{"key":"19_CR5","series-title":"Technical Report","volume-title":"ACT ONE: An Algebraic Specification Language with two Levels of Semantics","author":"H. Ehrig","year":"1983","unstructured":"H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with two Levels of Semantics. Technical Report 83-01, TUB, Berlin, 1983."},{"issue":"4","key":"19_CR6","first-page":"396","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. EEE Transactions on Software Engineering, 16(4):396\u2013406, 1990.","journal-title":"EEE Transactions on Software Engineering"},{"issue":"4","key":"19_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"19_CR8","unstructured":"D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998."},{"key":"19_CR9","unstructured":"I.S.O. ISO 8807 Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS, International Organization for Standardization, 1989."},{"key":"19_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980."},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. TACAS 2000","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski. Casl: From Semantics to Tools (tool). In Proc. TACAS 2000, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000. To appear."},{"key":"19_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"Proc. TAPSOFT\u2019 97","author":"P.D. Mosses","year":"1997","unstructured":"P.D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT\u2019 97, number 1214 in Lecture Notes in Computer Science, pages 115\u2013137, Berlin, 1997. Springer Verlag."},{"key":"19_CR13","unstructured":"The CoFI Task Group on Semantics. Casl The Common Algebraic Specification Language: Semantics CoFI Note S-9. Technical report, 1999. \n                      ftp:\/\/ftp.brics.dk\/Projects\/CoFI\/Notes\/S-9\/\n                      \n                    ."},{"key":"19_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FASE 2000-Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2000","unstructured":"G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines \u2014 A Lightweight Formal Approach. In Proc. FASE 2000-Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000. To appear."},{"key":"19_CR15","series-title":"Technical Report","volume-title":"Casl-Chart: Syntax and Semantics","author":"G. Reggio","year":"2000","unstructured":"G. Reggio and L. Repetto. Casl-Chart: Syntax and Semantics. Technical Report DISI-TR-00-1, DISI \u2014 Universit\u00e0 di Genova, Italy, 2000. \n                      ftp:\/\/ftp.disi.unige.it\/person\/ReggioG\/ReggioRepetto00a.ps\n                      \n                    ."},{"key":"19_CR16","unstructured":"M. Roggenbach and T. Mossakovski. Basic Data Types in Casl. CoFI Note L-12. Technical report, 1999. \n                      http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/L-12\/\n                      \n                    ."},{"key":"19_CR17","unstructured":"The CoFI Task Group on Language Design. Casl The Common Algebraic Specification Language Summary. Version 1.0. Technical report, 1999. Available on \n                      http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/\n                      \n                    ."},{"key":"19_CR18","unstructured":"UML Revision Task Force. OMG UML Specification, 1999. Available at \n                      http:\/\/uml.shl.com\n                      \n                    ."},{"key":"19_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-60973-3_94","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"M. Weber","year":"1996","unstructured":"M. Weber. Combining Statecharts and Z for the Desgin of Safety-Critical Control Systems. In M.-C. Gaudel and J. Woodcock, editors, FME\u201996: Industrial Benefit and Advances in Formal Methods, number 1051 in Lecture Notes in Computer Science, pages 307\u2013326. Springer Verlag, Berlin, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T15:24:42Z","timestamp":1550417082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}