Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Precise Semantics Standards at OMG: Executing on the Vision

397 views

Published on

Presented at the 4th International Workshop on Executable Modeling, MODELS '18 conference, Copenhagen

Published in: Software
  • Be the first to comment

Precise Semantics Standards at OMG: Executing on the Vision

  1. 1. Precise Semantics Standards at OMG: Executing on the Vision Ed Seidewitz Chief Technology Officer Model Driven Solutions ed-s@modeldriven.com ● @seidewitz Int’l Workshop on Executable Modeling at MODELS 2018, Copenhagen Copyright © 2018 Ed Seidewitz 14 October 2018
  2. 2. Page 2 Precise Semantics Standards: The Executable UML Vision • Standardize the precise semantics for a subset of UML useful for executable modeling. • Specify “precise semantics” by defining an executable UML model of an interpreter for executable UML models. • Ground this meta-circular definition by using formal logic to give a base semantics to a minimal executable UML subset. • In order to support the development of standards-based executable modeling tools. Copyright © 2018 Ed Seidewitz 14 October 2018
  3. 3. Page 3 Foundational UML (fUML) Foundational UML (fUML) Copyright © 2018 Ed Seidewitz 14 October 2018 Structural and behavioral modeling An executable subset of standard UML that can be used to define, in an operational style, the structural and behavioral semantics of systems Adopted: v1.0 (2011) Current: v1.4 (2018) Planned: v1.5 (2019)
  4. 4. Page 4 Action Language for fUML (Alf) Foundational UML (fUML) Action Language for fUML (Alf) A textual surface representation for fUML models, particularly executable behaviors Adopted: v1.0.1 (2013) Current: v1.1 (2017) Planned: v1.2 (2019) Copyright © 2018 Ed Seidewitz 14 October 2018 this.lineItems = checkOut.items; Customer_Order.createLink(checkOut.customer, this); this.datePlace = CurrentDate(); this.totalAmount = lineItems.amount->reduce '+'; this.SubmitCharge(checkOut.card); At the extended conformance level, Alf can also be used to represent structural class models.
  5. 5. Page 5 Precise Semantics of Composite Structure (PSCS) Copyright © 2018 Ed Seidewitz Precise Semantics of Composite Structure (PSCS) Action Language for fUML (Alf) Foundational UML (fUML) An extension of fUML for the execution of composite structure models Adopted: v1.0 (2015) Current: v1.2 (2018) Planned: None 14 October 2018 Composite structure modeling
  6. 6. Page 6 Precise Semantics of Composite Structure (PSCS) Precise Semantics of State Machines (PSSM) Action Language for fUML (Alf) Foundational UML (fUML) Precise Semantics of State Machines (PSSM) An extension of fUML for the execution of state machine models Beta: (2016) Planned: v1.0 (2018) Copyright © 2018 Ed Seidewitz 14 October 2018 State machine modeling
  7. 7. Page 7 Precise Semantics of Composite Structure (PSCS) Precise Semantics of State Machines (PSSM) Precise Semantics of Time (PSOT) Precise Semantics of Profiles Precise Semantics of Interactions Possible future standards Next Steps for Executable UML Action Language for fUML (Alf) Foundational UML (fUML) Copyright © 2018 Ed Seidewitz An extension to fUML to more precisely define the semantics of time in executable UML models. RFP: Dec 2017 Initial submissions: August 2019 Final submissions: May 2020 14 October 2018
  8. 8. Page 8 Roadmap for Executable UML Copyright © 2018 Ed Seidewitz 2018 2019 2020 PSOT (Alpha), fUML 1.5, SysML 1.7 Precise Semantics of Interactions RFP UML 2.5.1 2017 fUML 1.4, PSCS 1.2, PSSM 1.0 Precise Semantics of Time for fUML RFP Alf 1.2 Additional functionality • Unmarshall action • Activity partitions • Streaming • Interruptible regions • Exceptions (?) Refactoring • Threading Precise Semantics of Profiles RFP Possibly improve Interactions in the base UML specification first. Possibly finish the Metamodel Extension Facility (MEF) specification first. Precise semantics for SysML, building on fUML and PSCS (a precursor to SysML v2). 14 October 2018
  9. 9. Page 9 Precise Semantics Beyond Executable UML • Precise Semantics for Uncertainty Modeling (PSUM) – RFP issued for a metamodel that enables: • Capturing uncertainty and its related concepts • Measurement of uncertainty and its related concepts – Proposals are required to include “an ontology of uncertainty”. • Systems Modeling Language v2 – RFPs issued for both the language and for APIs/services – Proposals are required to include “a metamodel that includes abstract syntax, concrete syntax, semantics, and the relationships between them”. – Proposals may include non-mandatory features such as a semantic model library, declarative semantic grounding and a reasoning capability • The submission team is currently committed to including all these features. Copyright © 2018 Ed Seidewitz 14 October 2018
  10. 10. Page 10 Resources • Specification documents and machine-readable artifacts – http://www.omg.org/spec/FUML – http://www.omg.org/spec/PSCS – http://www.omg.org/spec/PSSM – http://www.omg.org/spec/ALF • fUML Open Source (Reference) Implementation (Lockheed Martin/Model Driven Solutions) – http://fuml.modeldriven.org • Alf Open Source (Reference) Implementation (Model Driven Solutions) – http://alf.modeldriven.org • OMG Groups (requires OMG membership) – Executable UML Working Group: executable-uml@omg.org – SysML Revision Task Force: sysml-rtf@omg.org Copyright © 2018 Ed Seidewitz 14 October 2018
  11. 11. Page 11 Requests for Proposals • Precise Semantics of Time for fUML – RFP: https://www.omg.org/cgi-bin/doc?ad/17-12-07 – Submission Team Contact • Ed Seidewitz, ed-s@modeldriven.com • Precise Semantics of Uncertainty – RFP: https://www.omg.org/cgi-bin/doc?ad/17-12-01 – Submission Team Contact • Tao Yue, tao@simula.no • SysML v2 RFPs – Language RFP: https://www.omg.org/cgi-bin/doc?ad/17-12-02 – API/Service RFP: https://www.omg.org/cgi-bin/doc?ad/18-06-03 – Submission Team Contacts: • Ed Seidewitz, ed-s@modeldriven.com • Sandy Friedenthal, sanford.friedenthal@gmail.com Copyright © 2018 Ed Seidewitz 14 October 2018

×