Ed Seidewitz: The Meta-Semantics of Model Execution
Ed Seidewitz talks about Kernel Modeling Language (KerML), contrasting it with Foundational UML (fUML) and looking into challenges and opportunities.
TU Wien, Campus Argentinierstraße
1040 Vienna, Argentinierstrasse 8
Erdgeschoß, Eingang Paniglgasse, Raum EAEG06
The Meta-Semantics of Model Execution
The recently completed second version of the System Modeling Language (SysML) is underpinned by a new Kernel Modeling Language (KerML). Most of the formal semantics of KerML are “meta-circularly” written in KerML itself. However, these semantics are fundamentally ontological and declarative, not operational. Nevertheless, it is often still important to be able to operationally “execute” a KerML model, generating a time-ordered “execution trace” (which can also be represented in KerML), consistent with the declarative semantics of the model. This talk will contrast the conception of execution in KerML with the more familiar approach taken for specifying the execution semantics of Foundational UML (fUML), which is also meta-circular, but essentially operational. It will highlight both the challenges and opportunities offered by the new paradigm of execution in KerML.
About Ed Seidewitz
Ed Seidewitz is Chief Technology Officer at Model Driven Solutions, Inc., a long-time provider of enterprise and systems architecture services using model-based methods. Mr. Seidewitz has over 30 years of professional experience with the modeling, architecture and development of systems spanning diverse domains including aerospace, finance, acquisition and health care. He has been active with the Object Management Group (OMG) for over 20 years, including work on the Unified Modeling Language (UML) and System Engineering Modeling Language (SysML), and as primary author of the Foundational Subset for Executable UML Models (fUML) and Action Language for Foundational UML (Alf) specifications. He is also co-leader of the SysML v2 Submission Team, which recently made its final submission to OMG.