{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:28:56Z","timestamp":1742966936355,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246050"},{"type":"electronic","value":"9783642246067"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24606-7_37","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T01:19:30Z","timestamp":1319505570000},"page":"467-475","source":"Crossref","is-referenced-by-count":6,"title":["Lightweight Verification of Executable Models"],"prefix":"10.1007","author":[{"given":"Elena","family":"Planas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"G\u00f3mez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-16901-4_25","volume-title":"Formal Methods and Software Engineering","author":"I. Abdelhalim","year":"2010","unstructured":"Abdelhalim, I., Sharp, J., Schneider, S., Treharne, H.: Formal verification of tokeneer behaviours modelled in fUML using CSP. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 371\u2013387. Springer, Heidelberg (2010)"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R.: Model Checking: From Tools to Theory. In: 25 Years of Model Checking, pp. 89\u2013106 (2008)","DOI":"10.1007\/978-3-540-69850-0_6"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Baker, P., Bristow, P., Jervis, C., King, D.J., Thomson, R., Mitchell, B., Burton, S.: Detecting and Resolving Semantic Pathologies in UML Sequence Diagrams. In: ESEC\/SIGSOFT FSE, pp. 50\u201359 (2005)","DOI":"10.1145\/1081706.1081716"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","volume-title":"Integrated Formal Methods","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verifying UML\/OCL Operation Contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 40\u201355. Springer, Heidelberg (2009)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-540-30187-5_23","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"J. Cabot","year":"2004","unstructured":"Cabot, J., Teniente, E.: Determining the Structural Events That May Violate an Integrity Constraint. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 320\u2013334. Springer, Heidelberg (2004)"},{"issue":"1","key":"37_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Transactions on Software Engineering and Methodology\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"37_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Checking query containment with the CQC method. Data Knowledge Engineering\u00a053(2), 163\u2013223 (2005)","journal-title":"Data Knowledge Engineering"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.09.006","volume":"101","author":"G. Graw","year":"2004","unstructured":"Graw, G., Herrmann, P.: Transformation and Verification of Executable UML Models. Electr. Notes Theor. Comput. Sci.\u00a0101, 3\u201324 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"37_CR9","first-page":"6","volume-title":"ACSD","author":"R. Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. In: ACSD, pp. 6\u201314. IEEE Press, Los Alamitos (2005)"},{"key":"37_CR10","volume-title":"Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey","author":"M. Hanus","year":"1998","unstructured":"Hanus, M.: Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey. MIT Press, Cambridge (1998); J. Funct. Program, 11(2):253\u2013262, 2001."},{"issue":"6","key":"37_CR11","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Asp. Comput.\u00a011(6), 637\u2013664 (1999)","journal-title":"Formal Asp. Comput."},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Lilius, J., Paltor, I.: vUML: A Tool for Verifying UML Models. In: ASE, pp. 255\u2013258 (1999)","DOI":"10.1109\/ASE.1999.802301"},{"key":"37_CR13","unstructured":"OMG. UML 2.0 Superstructure Specification (ptc\/07-11-02) (2007)"},{"key":"37_CR14","unstructured":"OMG. Concrete Syntax for UML Action Language (Action Language for Foundational UML), version Beta 1, (2010), www.omg.org\/spec\/ALF"},{"key":"37_CR15","unstructured":"OMG. Semantics Of A Foundational Subset For Executable UML Models (fUML), version 1.0 (2011), www.omg.org\/spec\/FUML"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-02144-2_14","volume-title":"Advanced Information Systems Engineering","author":"E. Planas","year":"2009","unstructured":"Planas, E., Cabot, J., G\u00f3mez, C.: Verifying Action Semantics Specifications in UML Behavioral Models. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 125\u2013140. Springer, Heidelberg (2009)"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"Planas, E., Cabot, J., G\u00f3mez, C.: Lightweight Verification of Executable Models (Extended Version) (2011), http:\/\/gres.uoc.edu\/pubs\/VerifyingExecModels.pdf","DOI":"10.1007\/978-3-642-24606-7_37"},{"key":"37_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-02144-2_9","volume-title":"Advanced Information Systems Engineering","author":"A. Queralt","year":"2009","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 47\u201362. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2013 ER 2011"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24606-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T07:08:42Z","timestamp":1741849722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24606-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246050","9783642246067"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24606-7_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}