{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:50Z","timestamp":1772164070807,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663187","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["UML with meaning"],"prefix":"10.1145","author":[{"given":"Ed","family":"Seidewitz","sequence":"first","affiliation":[{"name":"Model Driven Solutions, Bowie, MD, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Abstract Solutions. MDA with Executable UML. http:\/\/www.kc.com\/XUML\/  Abstract Solutions. MDA with Executable UML. http:\/\/www.kc.com\/XUML\/"},{"key":"e_1_3_2_1_2_1","unstructured":"Corcoran D. 2011. Model Driven Development and Executable UML at Ericsson. http:\/\/www.omg.org\/news\/meetings\/tc\/agendas\/va\/xUML_pdf\/Corcoran.pdf  Corcoran D. 2011. Model Driven Development and Executable UML at Ericsson. http:\/\/www.omg.org\/news\/meetings\/tc\/agendas\/va\/xUML_pdf\/Corcoran.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Eclipse Foundation. Papyrus\/UserGuide\/ModelExecution. https:\/\/wiki.eclipse.org\/Papyrus\/UserGuide\/ModelExecution  Eclipse Foundation. Papyrus\/UserGuide\/ModelExecution. https:\/\/wiki.eclipse.org\/Papyrus\/UserGuide\/ModelExecution"},{"key":"e_1_3_2_1_4_1","volume-title":"Statecharts: The Statement Approach","author":"Harel D.","year":"1998","unstructured":"Harel , D. , and Politi , M . 1998 . Modeling Reactive Systems with Statecharts: The Statement Approach . McGraw-Hill . Harel, D., and Politi, M. 1998. Modeling Reactive Systems with Statecharts: The Statement Approach. McGraw-Hill."},{"key":"e_1_3_2_1_5_1","unstructured":"InterCAX. Products. http:\/\/www.intercax.com\/products\/  InterCAX. Products. http:\/\/www.intercax.com\/products\/"},{"key":"e_1_3_2_1_6_1","unstructured":"Lieber Lieber Software. Advanced Modeling Using Simulation and Execution (AMUSE). http:\/\/www.lieberlieber.com\/model-engineering\/amuse\/  Lieber Lieber Software. Advanced Modeling Using Simulation and Execution (AMUSE). http:\/\/www.lieberlieber.com\/model-engineering\/amuse\/"},{"key":"e_1_3_2_1_7_1","unstructured":"Mentor Graphics. Bridgepoint. http:\/\/www.mentor.com\/products\/sm\/model_development\/bridgepoint\/  Mentor Graphics. Bridgepoint. http:\/\/www.mentor.com\/products\/sm\/model_development\/bridgepoint\/"},{"key":"e_1_3_2_1_8_1","unstructured":"Model Driven Solutions. fUML Reference Implementation. http:\/\/fuml.modeldriven.org  Model Driven Solutions. fUML Reference Implementation. http:\/\/fuml.modeldriven.org"},{"key":"e_1_3_2_1_9_1","unstructured":"Model Driven Solutions. Alf Reference Implementation. http:\/\/alf.modeldriven.org  Model Driven Solutions. Alf Reference Implementation. http:\/\/alf.modeldriven.org"},{"key":"e_1_3_2_1_10_1","volume-title":"ALF: The Standard Programming Language for UML. Code Generation","author":"Mutschall J.","year":"2014","unstructured":"Mutschall , J. 2014 . ALF: The Standard Programming Language for UML. Code Generation 2014, Cambridge UK. http:\/\/www.slideshare.net\/JuergenMutschall\/code-generation-2014-alf-the-standard-programming-language-for-uml Mutschall, J. 2014. ALF: The Standard Programming Language for UML. Code Generation 2014, Cambridge UK. http:\/\/www.slideshare.net\/JuergenMutschall\/code-generation-2014-alf-the-standard-programming-language-for-uml"},{"key":"e_1_3_2_1_11_1","unstructured":"No Magic. Cameo Simulation Toolkit. http:\/\/www.nomagic.com\/products\/magicdraw-addons\/cameo-simulation-toolkit.html  No Magic. Cameo Simulation Toolkit. http:\/\/www.nomagic.com\/products\/magicdraw-addons\/cameo-simulation-toolkit.html"},{"key":"e_1_3_2_1_12_1","volume-title":"June","author":"Object Management Group","year":"2003","unstructured":"Object Management Group . 2003. MDA Guide Version 1.0.1. OMG Document omg\/03-06-01 , June 2003 . http:\/\/www.omg.org\/mda\/ Object Management Group. 2003. MDA Guide Version 1.0.1. OMG Document omg\/03-06-01, June 2003. http:\/\/www.omg.org\/mda\/"},{"key":"e_1_3_2_1_13_1","unstructured":"Object Management Group. 2011. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems Version 1.1. OMG Document formal\/11-06-02. http:\/\/www.omg.org\/spec\/MARTE\/1.1\/  Object Management Group. 2011. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems Version 1.1. OMG Document formal\/11-06-02. http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"e_1_3_2_1_14_1","unstructured":"Object Management Group. 2012. OMG Systems Modeling Language (OMG SysML?) Version 1.3. OMG Document formal\/12-06-01. http:\/\/www.omg.org\/spec\/SysML\/1.3\/  Object Management Group. 2012. OMG Systems Modeling Language (OMG SysML?) Version 1.3. OMG Document formal\/12-06-01. http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"e_1_3_2_1_15_1","volume-title":"Version 1.1. OMG Document formal\/13-08-06","author":"Object Management Group","year":"2013","unstructured":"Object Management Group . 2013. Semantics of a Foundational Subset for Executable UML Models (fUML) , Version 1.1. OMG Document formal\/13-08-06 , August 2013 . http:\/\/www.omg.org\/spec\/FUML\/1.1\/ Object Management Group. 2013. Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.1. OMG Document formal\/13-08-06, August 2013. http:\/\/www.omg.org\/spec\/FUML\/1.1\/"},{"issue":"0","key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language","volume":"1","author":"Object Management Group","year":"2013","unstructured":"Object Management Group . 2013 . Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language , Version 1 . 0 . 1 . OMG Document formal\/13-09-01, October 2013. http:\/\/www.omg.org\/spec\/ALF\/1.0.1\/ Object Management Group. 2013. Action Language for Foundational UML (Alf): Concrete Syntax for a UML Action Language, Version 1.0.1. OMG Document formal\/13-09-01, October 2013. http:\/\/www.omg.org\/spec\/ALF\/1.0.1\/","journal-title":"Version"},{"issue":"5","key":"e_1_3_2_1_17_1","first-page":"2","article-title":"OMG Unified Modeling Language (OMG UML?)","volume":"2","author":"Object Management Group","year":"2013","unstructured":"Object Management Group . 2013 . OMG Unified Modeling Language (OMG UML?) , Version 2 . 5 Beta 2 . OMG Document formal\/13-09-05, September 2013. http:\/\/www.omg.org\/spec\/UML\/2.5\/Beta2 Object Management Group. 2013. OMG Unified Modeling Language (OMG UML?), Version 2.5 Beta 2. OMG Document formal\/13-09-05, September 2013. http:\/\/www.omg.org\/spec\/UML\/2.5\/Beta2","journal-title":"Version"},{"issue":"0","key":"e_1_3_2_1_18_1","first-page":"1","article-title":"Precise Semantics of UML Composite Structures","volume":"1","author":"Object Management Group","year":"2014","unstructured":"Object Management Group . 2014 . Precise Semantics of UML Composite Structures , Version 1 . 0 Beta 1 . OMG Document Number ptc\/2014-06-15. http:\/\/www.omg.org\/spec\/PSCS\/1.0\/Beta1\/ Object Management Group. 2014. Precise Semantics of UML Composite Structures, Version 1.0 Beta 1. OMG Document Number ptc\/2014-06-15. http:\/\/www.omg.org\/spec\/PSCS\/1.0\/Beta1\/","journal-title":"Version"},{"key":"e_1_3_2_1_19_1","unstructured":"Mellor S. J. and Balcer M. J. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley.   Mellor S. J. and Balcer M. J. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley."},{"key":"e_1_3_2_1_20_1","unstructured":"Selic B. Gullekson G. and Ward P. 1994. Real-Time Object-Oriented Modeling. Wiley.   Selic B. Gullekson G. and Ward P. 1994. Real-Time Object-Oriented Modeling. Wiley."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/48548"},{"key":"e_1_3_2_1_22_1","volume-title":"Object Lifecycles: Modeling the World in States","author":"Shlaer S.","year":"1991","unstructured":"Shlaer , S. and Mellor , S. J . 1991 . Object Lifecycles: Modeling the World in States . Prentice Hall . Shlaer, S. and Mellor, S. J. 1991. Object Lifecycles: Modeling the World in States. Prentice Hall."},{"key":"e_1_3_2_1_23_1","volume-title":"Executable UML Information Day Panelist Presentation","author":"Shubert G.","unstructured":"Shubert , G. 2011. Executable UML Information Day Panelist Presentation . Lockheed-Martin Space Systems Company . http:\/\/www.omg.org\/news\/meetings\/tc\/agendas\/va\/xUML_pdf\/Shubert.pdf Shubert, G. 2011. Executable UML Information Day Panelist Presentation. Lockheed-Martin Space Systems Company. http:\/\/www.omg.org\/news\/meetings\/tc\/agendas\/va\/xUML_pdf\/Shubert.pdf"}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663187","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663187"}},"subtitle":["executable modeling in foundational UML and the Alf action language"],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":23,"alternative-id":["10.1145\/2663171.2663187","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663187","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663187","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}