{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T01:10:03Z","timestamp":1744161003680,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_16","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"235-251","source":"Crossref","is-referenced-by-count":11,"title":["On Integrating Structure and Behavior Modeling with OCL"],"prefix":"10.1007","author":[{"given":"Lars","family":"Hamann","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Hofrichter","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Abstract Solutions Ltd: Executable UML (xUML). Internet (2012), http:\/\/www.kc.com\/XUML\/"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-44518-8_13","volume-title":"Abstract State Machines - Theory and Applications","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: Modeling the Dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 223\u2013241. Springer, Heidelberg (2000)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-25032-3_9","volume-title":"Formal Methods, Foundations and Applications","author":"F. B\u00fcttner","year":"2011","unstructured":"B\u00fcttner, F., Gogolla, M.: Modular Embedding of the Object Constraint Language into a Programming Language. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol.\u00a07021, pp. 124\u2013139. Springer, Heidelberg (2011)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Drusinsky, D.: tak Shing, M.: Using UML Statecharts with Knowledge Logic Guards. In: Sch\u00fcrr and Selic [30], pp. 586\u2013590 (2009)","DOI":"10.1007\/978-3-642-04425-0_45"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"S. Flake","year":"2003","unstructured":"Flake, S., M\u00fcller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Software and System Modeling\u00a02(3), 164\u2013186 (2003)","journal-title":"Software and System Modeling"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.entcs.2004.12.029","volume":"127","author":"L. Geiger","year":"2005","unstructured":"Geiger, L., Z\u00fcndorf, A.: Statechart Modeling with Fujaba. Electr. Notes Theor. Comput. Sci.\u00a0127(1), 37\u201349 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"4","key":"16_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Journal on Software and System Modeling"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.10.024","volume":"127","author":"M.E.B. Guti\u00e9rrez","year":"2005","unstructured":"Guti\u00e9rrez, M.E.B., Barrio-Sol\u00f3rzano, M., Quintero, C.E.C., de la Fuente, P.: UML Automatic Verification Tool with Formal Methods. Electr. Notes Theor. Comput. Sci.\u00a0127(4), 3\u201316 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR10","unstructured":"Hamann, L., Gogolla, M., Kuhlmann, M.: OCL-Based Runtime Monitoring of JVM Hosted Applications. In: Cabot, J., Clariso, R., Gogolla, M., Wolff, B. (eds.) Proc. Workshop OCL and Textual Modelling\u00a0(OCL 2011). ECEASST, Electronic Communications (2011), journal.ub.tu-berlin.de\/eceasst\/issue\/view\/56"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-642-31491-9_29","volume-title":"Modelling Foundations and Applications","author":"L. Hamann","year":"2012","unstructured":"Hamann, L., Hofrichter, O., Gogolla, M.: OCL-Based Runtime Monitoring of Applications with Protocol State Machines. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 384\u2013399. Springer, Heidelberg (2012)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Hamann, L., Vid\u00e1cs, L., Gogolla, M., Kuhlmann, M.: Abstract Runtime Monitoring with USE. In: Ferenc, R., Mens, T., Cleve, A. (eds.) Proc. CSMR 2012 (2012)","DOI":"10.1109\/CSMR.2012.73"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D. Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 325\u2013354. Springer, Heidelberg (2004)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2003.09.006","volume":"102","author":"R. Hennicker","year":"2004","unstructured":"Hennicker, R., Knapp, A., Baumeister, H.: Semantics of OCL Operation Specifications. Electr. Notes Theor. Comput. Sci.\u00a0102, 111\u2013132 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR15","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Kleppe","year":"2000","unstructured":"Kleppe, A., Warmer, J.: Extending OCL to Include Actions. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 440\u2013450. Springer, Heidelberg (2000)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45669-4_11","volume-title":"Object Modeling with the OCL","author":"A. Kleppe","year":"2002","unstructured":"Kleppe, A., Warmer, J.: The Semantics of the OCL Action Clause. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 213\u2013227. Springer, Heidelberg (2002)"},{"key":"16_CR18","unstructured":"Kolovos, D., Rose, L., Paige, R.: The Epsilon Book. Internet (2012), http:\/\/www.eclipse.org\/epsilon\/doc\/book"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M. Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive Validation of OCL Models by Integrating SAT Solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 290\u2013306. Springer, Heidelberg (2011)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Lano, K., Clark, D.: Semantics and Refinement of Behavior State Machines. In: Cordeiro, J., Filipe, J. (eds.) ICEIS, vol.\u00a0(3-1), pp. 42\u201349 (2008)","DOI":"10.5220\/0001683700420049"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Lano, K., Clark, D.: Axiomatic Semantics of State Machines, pp. 179\u2013203. John Wiley & Sons, Inc. (2009)","DOI":"10.1002\/9780470522622.ch8"},{"key":"16_CR22","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: UML RSDS Model Transformation and Model-Driven Development Tools. Internet (2012), http:\/\/www.dcs.kcl.ac.uk\/staff\/kcl\/uml2web"},{"key":"16_CR23","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley (2002)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-24485-8_30","volume-title":"Model Driven Engineering Languages and Systems","author":"Y. Moffett","year":"2011","unstructured":"Moffett, Y., Beaulieu, A., Dingel, J.: Verifying UML-RT Protocol Conformance Using Model Checking. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 410\u2013424. Springer, Heidelberg (2011)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Ng, P.: A Concept Lattice Approach for Requirements Validation with UML State Machine Model. In: SERA, pp. 393\u2013400. IEEE Computer Society (2007)","DOI":"10.1109\/SERA.2007.8"},{"key":"16_CR26","unstructured":"OMG (ed.): UML Superstructure 2.4.1. Object Management Group (OMG) (August 2011), http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF"},{"key":"16_CR27","unstructured":"OMG (ed.): Object Constraint Language 2.3.1. Object Management Group (OMG) (January 2012), http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Porres, I., Rauf, I.: From Nondeterministic UML Protocol Statemachines to Class Contracts. In: ICST, pp. 107\u2013116. IEEE Computer Society (2010)","DOI":"10.1109\/ICST.2010.62"},{"key":"16_CR29","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Dynamic Validation of OCL Constraints with mOdCL. ECEASST\u00a044 (2011)"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","volume-title":"Model Driven Engineering Languages and Systems","year":"2009","unstructured":"Sch\u00fcrr, A., Selic, B. (eds.): MODELS 2009. LNCS, vol.\u00a05795. Springer, Heidelberg (2009)"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-88194-0_6","volume-title":"Formal Methods and Software Engineering","author":"D. Seifert","year":"2008","unstructured":"Seifert, D.: Conformance Testing Based on UML State Machines. In: Liu, S., Maibaum, T.S.E., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 45\u201365. Springer, Heidelberg (2008)"},{"key":"16_CR32","unstructured":"Shen, W., Compton, K.J., Huggins, J.: A UML Validation Toolset Based on Abstract State Machines. In: ASE, pp. 315\u2013318. IEEE Computer Society (2001)"},{"key":"16_CR33","volume-title":"Object Lifecycles: Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Yourdon Press, EngleWood Cliffs (1992)"},{"key":"16_CR34","volume-title":"Object-Oriented Systems Analysis: Modelling the World in Data","author":"S. Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.J.: Object-Oriented Systems Analysis: Modelling the World in Data. Yourdon Press, EngleWood Cliffs (1992)"},{"key":"16_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21554-4_1","volume-title":"Applied Cryptography and Network Security","author":"Y. Wang","year":"2011","unstructured":"Wang, Y., Zhang, Z., Yao, D.D., Qu, B., Guo, L.: Inferring Protocol State Machine from Network Traces: A Probabilistic Approach. In: Lopez, J., Tsudik, G. (eds.) ACNS 2011. LNCS, vol.\u00a06715, pp. 1\u201318. Springer, Heidelberg (2011)"},{"key":"16_CR36","series-title":"Object Technology Series","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. In: Sch\u00fcrr and Selic [30], pp. 211\u2013225 (2009)","DOI":"10.1007\/978-3-642-04425-0_16"},{"key":"16_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-21470-7_9","volume-title":"Modelling Foundations and Applications","author":"T. Yue","year":"2011","unstructured":"Yue, T., Ali, S., Briand, L.C.: Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. In: France, R.B., K\u00fcster, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 115\u2013131. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:33:12Z","timestamp":1744158792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}