Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
A Discipline of Programming
Superposition Refinement of Parallel Algorithms
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A Theory of Prioritizing Composition
A Theory of Prioritizing Composition
Transformation of B specifications into UML class diagrams and state machines
Proceedings of the 2006 ACM symposium on Applied computing
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Automated Conformance Verification of Hybrid Systems
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
| Hi-index | 0.00 |
The Unified Modeling Language (UML) is a well known and widely used standard for building software models. While it is familiar to many software engineers, it lacks standardized formal semantics. In this paper, we extend on the formalism of object-oriented action systems (OOAS) and describe a mapping of a selected UML-subset to OOAS by choosing one of the several possible semantics of UML. This mapping, together with the introduction of a trace semantics for OOAS, paves the way for applying tools for and theory of labeled transition systems to UML-models. As a running example, we use a car alarm system in the context of model-based test-case generation and show how the UML mapping is done.