{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:45:51Z","timestamp":1770338751201,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,6,23]],"date-time":"2011-06-23T00:00:00Z","timestamp":1308787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10270-011-0207-y","type":"journal-article","created":{"date-parts":[[2011,6,22]],"date-time":"2011-06-22T14:45:59Z","timestamp":1308753959000},"page":"441-446","source":"Crossref","is-referenced-by-count":36,"title":["UML formal semantics: lessons learned"],"prefix":"10.1007","volume":"10","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Mar\u00eda Victoria","family":"Cengarle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,23]]},"reference":[{"key":"207_CR1","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), Superstructure\u2014Version 2.3. Technical Report Document Number formal\/2010-05-05, OMG. http:\/\/www.omg.org\/spec\/UML\/2.3\/Superstructure\/PDF\/ (2010). Retrieved 2011-01-18"},{"key":"207_CR2","doi-asserted-by":"crossref","unstructured":"Booch, G., Maksimchuk, R.A., Engle, M.W., Young, B.J., Connallen, J., Houston, K.A.: Object-oriented analysis and design with applications, 3rd edition. ACM SIGSOFT Software Engineering Notes, vol. 33 (2008)","DOI":"10.1145\/1402521.1413138"},{"key":"207_CR3","volume-title":"Object-Oriented Modeling and Design","author":"J.E. Rumbaugh","year":"1991","unstructured":"Rumbaugh J.E., Blaha M.R., Premerlani W.J., Eddy F., Lorensen W.E.: Object-Oriented Modeling and Design. Prentice-Hall, New Jersey (1991)"},{"key":"207_CR4","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"I. Jacobson","year":"2004","unstructured":"Jacobson I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley Longman Publishing Co. Inc., Redwood City (2004)"},{"key":"207_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Progr. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Progr."},{"key":"207_CR6","volume-title":"The Object Constraint Language: Precise Modeling With UML. Object Technology Series","author":"J.B. Warmer","year":"1998","unstructured":"Warmer J.B., Kleppe A.G.: The Object Constraint Language: Precise Modeling With UML. Object Technology Series. Addison-Wesley Longman Publishing Co. Inc., Redwood City (1998)"},{"key":"207_CR7","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson I., Booch G., Rumbaugh J.: The Unified Software Development Process. Addison-Wesley Longman Publishing Co. Inc., Boston (1999)"},{"key":"207_CR8","unstructured":"Gornik, D.: IBM Rational Unified Process: best practices for software development teams. Technical Report TP026B, Rev 11\/01, IBM. ftp:\/\/ftp.software.ibm.com\/software\/rational\/web\/whitepapers\/2003\/rup_bestpractices.pdf (2004). Retrieved 2010-07-01"},{"key":"207_CR9","doi-asserted-by":"crossref","unstructured":"Stapleton, J.: DSDM: Dynamic Systems Development Method. In: 29th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Europe 1999), IEEE Computer Society, vol. 406 (1999)","DOI":"10.1109\/TOOLS.1999.779095"},{"key":"207_CR10","unstructured":"Rumpe, B.: A note on semantics (with an Emphasis on UML). In: Kilov, H., Rumpe, B., (eds.) 2nd ECOOP Workshop on Precise Behavioral Semantics. Technical Report TUM-I9813, Institut f\u00fcr Informatik, pp. 177\u2013197. Technische Universit\u00e4t M\u00fcnchen (1998)"},{"key":"207_CR11","unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universit\u00e4t Bremen, Logos, Berlin, BISS Monographs, No. 14 (2002)"},{"key":"207_CR12","doi-asserted-by":"crossref","unstructured":"Cuccuru, A., Mraidha, C., Terrier, F., G\u00e9rard, S.: Enhancing UML Extensions with Operational Semantics. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F., (eds.): Model Driven Engineering Languages and Systems (MoDELS\u201907, Proceedings). Lecture Notes in Computer Science, vol. 4735, pp. 271\u2013285. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75209-7_19"},{"key":"207_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s00766-008-0065-5","volume":"13","author":"J. Evermann","year":"2008","unstructured":"Evermann J.: A cognitive semantics for the association construct. Requir. Eng. 13, 167\u2013186 (2008)","journal-title":"Requir. Eng."},{"key":"207_CR14","unstructured":"Cook, S.: UML2.0\u2014Trying to have it both ways, pp. 4\u20137 of [39]"},{"key":"207_CR15","unstructured":"Cook, S.: UML Semantics. Steve Cook\u2019s WebLog. http:\/\/blogs.msdn.com\/b\/stevecook\/archive\/2004\/12\/08\/278507.aspx (2004). Retrieved 2010-07-01"},{"key":"207_CR16","unstructured":"Object Management Group: Introduction to OMG\u2019s Unified Modeling Language (UML). Technical report, OMG. http:\/\/www.omg.org\/gettingstarted\/what_is_uml.htm (2009). Retrieved 2010-07-01"},{"key":"207_CR17","unstructured":"Object Management Group: Getting Specifications and Products. Technical report, OMG. http:\/\/www.omg.org\/gettingstarted\/specsandprods.htm (2009). Retrieved 2010-07-01"},{"key":"207_CR18","unstructured":"Object Management Group: Object Constraint Language. Technical Report Document Number formal\/2010-02-01, OMG. http:\/\/www.omg.org\/spec\/OCL\/2.2\/PDF (2010). Retrieved 2011-01-18"},{"key":"207_CR19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10270-003-0035-9","volume":"3","author":"M.V. Cengarle","year":"2004","unstructured":"Cengarle M.V., Knapp A.: OCL 1.4\/1.5 vs. OCL 2.0 expressions: formal semantics and expressiveness. Softw. Syst. Model. 3, 9\u201330 (2004)","journal-title":"Softw. Syst. Model."},{"key":"207_CR20","unstructured":"St\u00f6rrle, H.: Assert, Negate and Refinement in UML-2 Interactions. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) 2nd International Workshop on Critical Systems Development with UML (CSDUML\u201903, Proceedings). Technical Report TUM-I0323, pp. 79\u201393. Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2003)"},{"key":"207_CR21","unstructured":"Cengarle, M.V., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: J\u00fcrjens, J., Fernandez, E.B., France, R., Rumpe, B. (eds.) 3rd International Workshop on Critical Systems Development with UML (CSDUML\u201904, Proceedings). Technical Report TUM-I0415, pp. 85\u201399. Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2004)"},{"key":"207_CR22","first-page":"126","volume":"105","author":"F. Seehusen","year":"2009","unstructured":"Seehusen F.: Specifying enforcable high level policies with UML sequence diagrams. Telektronikk 105, 126\u2013134 (2009)","journal-title":"Telektronikk"},{"key":"207_CR23","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel D., Maoz S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Model. 7, 237\u2013252 (2008)","journal-title":"Softw. Syst. Model."},{"key":"207_CR24","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. Beeck von der","year":"2002","unstructured":"von der Beeck M.: A structured operational semantics for UML-statecharts. Softw. Syst. Model. 1, 130\u2013141 (2002)","journal-title":"Softw. Syst. Model."},{"key":"207_CR25","doi-asserted-by":"crossref","unstructured":"Simons, A.J.H.: On the compositional properties of UML statechart diagrams. In: Rigorous Object-Oriented Methods (ROOM 2000, Proceedings). Workshops in Computing, BCS (2000)","DOI":"10.14236\/ewic\/ROOM2000.8"},{"key":"207_CR26","doi-asserted-by":"crossref","unstructured":"von der Beeck, M.: A Comparison of Statecharts Variants. In: Langmaack, H., de Roever, W.P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems (3rd FTRTFT, Proceedings). Lecture Notes in Computer Science, vol. 863, pp. 128\u2013148. Springer, Berlin (1994)","DOI":"10.1007\/3-540-58468-4_163"},{"key":"207_CR27","doi-asserted-by":"crossref","unstructured":"Simons, A.J.H., Graham, I.: 30 Things that go wrong in object modelling with UML 1.3. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 237\u2013257. Kluwer Academic Publishers, Dordrecht, Chapter 17 (1999)","DOI":"10.1007\/978-1-4615-5229-1_17"},{"key":"207_CR28","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models\u2014Request For Proposal. Technical Report Document Number ad\/2005-04-02, OMG. http:\/\/www.omg.org\/cgi-bin\/doc?ad\/05-04-02.pdf (2005). Retrieved 2011-01-18"},{"key":"207_CR29","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.0. Technical Report Document Number formal\/2011-02-01, OMG. http:\/\/www.omg.org\/spec\/FUML\/1.0\/PDF (2011). Retrieved 2011-01-18"},{"key":"207_CR30","doi-asserted-by":"crossref","unstructured":"Broy, M., Cengarle, M.V., Gr\u00f6nniger, H., Rumpe, B.: Considerations and Rationale for a UML System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 43\u201360. Wiley, Hoboken, Chapter 3 (2009)","DOI":"10.1002\/9780470522622.ch3"},{"key":"207_CR31","doi-asserted-by":"crossref","unstructured":"Broy, M., Cengarle, M.V., Gr\u00f6nniger, H., Rumpe, B.: Definition of the System Model. In Lano, K. (ed.) UML 2 Semantics and Applications, pp.61\u201393. Wiley, Hoboken, Chapter 4 (2009)","DOI":"10.1002\/9780470522622.ch4"},{"key":"207_CR32","unstructured":"Cengarle, M.V., Dingel, J., Gr\u00f6nniger, H., Rumpe, B.: System-model-based simulation of the UML. In: Nordic Workshop on Model Driven Engineering (5th NW-MoDE 2007, Proceedings), pp. 112\u2013126. Blekinge Tekniska H\u00f6gskola, Research Report 2007:8. ISSN 978-91-7295-985-9. http:\/\/www.sse-tubs.de\/publications\/CDGR07NWMODE.pdf (2007). Retrieved 2011-06-14"},{"key":"207_CR33","doi-asserted-by":"crossref","unstructured":"Crane, M.L., Dingel, J.: Towards a formal account of a foundational subset for executable UML models. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A., V\u00f6lter, M. (eds.) 11th International Conference Model Driven Engineering Languages and Systems (MoDELS\u201908, Proceedings). Lecture Notes in Computer Science, vol. 5301, pp. 675\u2013689. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_47"},{"key":"207_CR34","doi-asserted-by":"crossref","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: Degano, P., Nicola, R.D., Meseguer, J. (eds.) Concurrency, graphs and models: essays dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 5065, pp. 383\u2013402. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68679-8_23"},{"key":"207_CR35","unstructured":"Naumenko, A., Wegmann, A.: Triune continuum paradigm and problems of UML semantics. Technical Report IC\/2003\/44, Swiss Federal Institute of Technology, Lausanne, Switzerland. http:\/\/www.triunecontinuum.com\/documents\/tr03_044.pdf (2003). Retrieved 2010-07-16"},{"key":"207_CR36","unstructured":"Picek, R., Strahonja, V.: Model driven development\u2014future or failure of software development? In: 18th International Conference on Information and Intelligent Systems (Proceedings), Faculty of Organization and Informatics, pp. 407\u2013413. Vara\u017edin (2007)"},{"key":"207_CR37","unstructured":"Kapteijns, T., Jansen, S., Brinkkemper, S., Hou\u00ebt, H., Barendse, R.: A comparative case study of model-driven development vs traditional development: the tortoise or the hare. In: Bailey, T., Vogel, R., Mansell, J. (eds.) From code centric to model centric software engineering: Practices, Implications and ROI (4th European C2M Workshop, CTIT Proceedings), pp. 22\u201333. University of Twente (2009)"},{"key":"207_CR38","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","volume":"18","author":"D.T. Ross","year":"1985","unstructured":"Ross D.T.: Applications and extensions of SADT. IEEE Comput. 18, 25\u201334 (1985)","journal-title":"IEEE Comput."},{"issue":"1","key":"207_CR39","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10270-004-0076-8","volume":"4","author":"B. Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers B.: UML\u2014the Good, the Bad or the Ugly?. Perspectives from a panel of experts. Softw. Syst. Model. 4(1), 4\u201313 (2005). doi: 10.1007\/s10270-004-0076-8","journal-title":"Perspectives from a panel of experts. Softw. Syst. Model."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0207-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0207-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0207-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T14:17:40Z","timestamp":1741270660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0207-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,23]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["207"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0207-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,23]]}}}