๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A logic-based semantics for the verification of multi-diagram UML models

โœ Scribed by Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Rossi, Matteo

Book ID
125477264
Publisher
Association for Computing Machinery
Year
2012
Weight
828 KB
Volume
37
Category
Article
ISSN
0163-5948

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A logic-based semantics for the verifica
A logic-based semantics for the verification of multi-diagram UML models
โœ Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Rossi, Matteo ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Association for Computing Machinery โš– 828 KB

UML is a well-known and widely used design notation: it offers a rich set of modeling elements, but their behavior is often not properly defined. Many proposals have tried to provide UML with a formal semantics, but they often focus on a limited number of diagram types, and thus do not provide a via

[ACM Press the International Workshop -
[ACM Press the International Workshop - Maribor, Slovenia (2010.06.21-2010.06.21)] Proceedings of the International Workshop on Formalization of Modeling Languages - FML '10 - An executable semantics for UML 2 activity diagrams
โœ Knieke, Christoph; Goltz, Ursula ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› ACM Press โš– 214 KB

Since the revision 2 of the UML, activity diagrams have acquired many new features and a completely new metamodel. UML 2 was targeted at improving semantic precision but still lacks an executable semantics as a basis for tool support and simulation. In this paper we define an executable step semanti