{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:31:29Z","timestamp":1725543089914},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359098"},{"type":"electronic","value":"9783540359104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787044_10","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:19:58Z","timestamp":1151504398000},"page":"113-127","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Logic Semantics for UML Consistency"],"prefix":"10.1007","author":[{"given":"Greg","family":"O\u2019Keefe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling\u00a04(1), 32\u201354 (2005)","journal-title":"Software and System Modeling"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-45165-X_2","volume-title":"Java on Smart Cards: Programming and Security","author":"B. Beckert","year":"2001","unstructured":"Beckert, B.: A dynamic logic for the formal verification of java card programs. In: Attali, I., Jensen, T. (eds.) JavaCard 2000. LNCS, vol.\u00a02041, pp. 6\u201324. Springer, Heidelberg (2001)"},{"unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of VERIFY, Workshop at Federated Logic conferences (FLoC) (2002)","key":"10_CR3"},{"key":"10_CR4","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D., Haehnle, R., Posegga, J. (eds.) Handbook of Tableau Methods. Kluwer, Dordrecht (1999), \n                    \n                      http:\/\/rsise.anu.edu.au\/~rpg\/Publications\/Handbook-Tableau-Methods\/TR-ARP-15-95.ps.gz"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-39656-7_3","volume-title":"Formal Methods for Components and Objects","author":"W. Damm","year":"2003","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A formal semantics of concurrency and communication in real-time UML. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 71\u201398. Springer, Heidelberg (2003)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10270-004-0076-8","volume":"4","author":"B. Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers, B.: UML - the good, the bad or the ugly? perspectives from a panel of experts. Software and System Modeling\u00a04(1), 4\u201313 (2005)","journal-title":"Software and System Modeling"},{"unstructured":"Mellor, S.J.: A framework for aspect-oriented modelling. In: The 4th AOSD Modeling With UML Workshop (2003)","key":"10_CR9"},{"key":"10_CR10","series-title":"Object Technology Series","volume-title":"Executable UML, A Foundation for Model-Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML, A Foundation for Model-Driven Architecture. Object Technology Series. Addison-Wesley, Reading (2002)"},{"unstructured":"Object Management Group. Unified modeling language: Superstructure. Technical report, Object Management Group (August 2005), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/05-07-04.pdf","key":"10_CR11"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. Journal of the ACM\u00a034(2), 450\u2013479 (1987)","journal-title":"Journal of the ACM"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2001","unstructured":"Reggio, G., Cerioli, M., Astesiano, E.: Towards a rigourous semantics of UML supporting its multiview approach. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol.\u00a02029, pp. 171\u2013186. Springer, Heidelberg (2001)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-30080-9_6","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"B.V. Selic","year":"2004","unstructured":"Selic, B.V.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 181\u2013199. Springer, Heidelberg (2004)"},{"unstructured":"Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Yourdon Press (1992)","key":"10_CR15"},{"doi-asserted-by":"crossref","unstructured":"Wieringa, R.J., Saake, G.: A formal analysis of the Shlaer-Mellor method: Towards a toolkit of formal and informal requirements specification techniques. Requirements Engineering, 106\u2013131 (1996)","key":"10_CR16","DOI":"10.1007\/BF01235905"},{"unstructured":"Wieringa, R., Broerson, J.: Minimal transition system semantics for lightweight class and behaviour diagrams. In: Broy, M., Coleman, D., Maibaum, T.S.E., Rumpe, B. (eds.) Proceedings PSMT 1998 Workshop on Precise Semantics for Modeling Techniques, Technische Universitaet Muenchen, TUM-I9803 (April 1997)","key":"10_CR17"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787044_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:24Z","timestamp":1619508024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787044_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359098","9783540359104"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11787044_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}