Compositional operational semantics of a UML-kernel-model language

MaRDI QIDQ2852096zbMATH OpenFDO

Authors Marcel Kyas, Harald Fecher, Willem-Paul de Roever, Frank S. de Boer

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002180

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Compositionality Through an Operational Semantics of Contexts
• scientific article; zbMATH DE number 177838
• scientific article; zbMATH DE number 1304378
• A coalgebraic semantic framework for component-based development in UML
• Extending standard UML with model composition semantics
• Operational semantics of task models

Cited in

(2)

• A Bibliography of Willem-Paul de Roever
• An institutional approach to communicating UML state machines

This page was built for publication: Compositional operational semantics of a UML-kernel-model language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852096)