{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:21:47Z","timestamp":1743038507165,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_7","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T09:14:28Z","timestamp":1329556468000},"page":"76-97","source":"Crossref","is-referenced-by-count":1,"title":["Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation"],"prefix":"10.1007","author":[{"given":"Christine","family":"Choppy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Cengarle, M.V., Knapp, A., M\u00fchlberger, H.: Interactions. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 205\u2013248. John Wiley & Sons (2009)","DOI":"10.1002\/9780470522622.ch9"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-24721-0_18","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Choppy","year":"2004","unstructured":"Choppy, C., Reggio, G.: Improving Use Case Based Requirements Using Formally Grounded Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 244\u2013260. Springer, Heidelberg (2004)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1016\/j.infsof.2005.08.006","volume":"47","author":"C. Choppy","year":"2005","unstructured":"Choppy, C., Reggio, G.: A UML-Based Approach for Problem Frame Oriented Software Development. Journal of Information and Software Technology\u00a047, 929\u2013954 (2005)","journal-title":"Journal of Information and Software Technology"},{"issue":"1-2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jlap.2005.09.003","volume":"67","author":"C. Choppy","year":"2006","unstructured":"Choppy, C., Reggio, G.: A formally grounded software specification method. Journal of Logic and Algebraic Programming\u00a067(1-2), 52\u201386 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR5","unstructured":"Choppy, C., Reggio, G.: CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation (full report). Technical report, Universite Paris 13, and Universita di Genova (2010), http:\/\/www-lipn.univ-paris13.fr\/~choppy\/REPORTS\/casl-mdl-report.pdf"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Choppy, C., Reggio, G.: Service Modelling with Casl4Soa: A Well-Founded Approach - Part 1 (Service in isolation). In: Symposium on Applied Computing, pp. 2444\u20132451. ACM (2010)","DOI":"10.1145\/1774088.1774596"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"7_CR9","unstructured":"Fish, A., Howse, J., Taentzer, G., Winkleman, J.: Two visualisations of OCL: A comparison. Technical Report VMG.05.1, University of Brighton (2005)"},{"key":"7_CR10","unstructured":"Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference, APSEC 1999, pp. 38\u201345. IEEE Computer Society (1999)"},{"key":"7_CR11","unstructured":"Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl Extension for Dynamic Reactive Systems Version 1.0\u2013Summary. Technical Report DISI-TR-03-36 (2003)"},{"key":"7_CR12","unstructured":"UML Revision Task Force. OMG UML Specification, http:\/\/www.uml.org"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T00:26:27Z","timestamp":1713572787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}