Abstract
This paper explores the requirements for complementing the UML with a compatible, software-platform-independent executable action language that enables mapping into efficient code. This language is henceforth referred to as an action language. The user of the action language will be able to specify the structure of the algorithms for a problem domain precisely without making unnecessary assumptions about the detailed organization of the software. An action language will enable precise specification of the structure of actions on a UML State Chart and the operations on a UML Class Diagram.
A precise language that allows specification of the structure of algorithms for carrying out UML actions and operations without otherwise constraining possible software implementations enables:
Early Verification. An action language can perform specification-based simulation and formal proofs of correctness early in the software lifecycle. Problems detected early can be removed with much less rework, leading to a reduction in both project cost and time-to-market.
Domain Level Reuse. With appropriate tooling, the system specification can be mapped into multiple different implementation technologies at significantly reduced cost.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Object Constraint language Specification 1.1, OMG Document ad/97-08-08 (OCL reference)
Leblanc, P.: OMT and SDL based Techniques and Tools for Design. In: Simulation and Test Production of Distributed Systems:STTT, International Journal on Software Tools for Technology Transfer, December 1997. Springer, Heidelberg (1997), http://link.springer.de ,or http://link.springer.de
Encontre, V.: How to use modeling to implement verifiable, scaleable and efficient real-time application programs. Real-Time Engineering Journal 4(3) (Fall 1997)
CCITT, Recommendation Z. 100, Specification and Description Language SDL (1993)
ITU-T, Recommendation Z. 120, Message Sequence Chart (MSC) (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mellor, S.J., Tockey, S., Arthaud, R., Leblanc, P. (1999). An Action Language for UML: Proposal for a Precise Execution Semantics. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive