A Crash Course in UML State Machines
ثبت نشده
چکیده
منابع مشابه
Modeling the Car Crash Crisis Management System Using HiLA
An aspect-oriented modeling approach to the Car Crash Crisis Management System (CCCMS) using the High-Level Aspect Language (HiLA) is described. HiLA is a language for expressing aspects for UML static structures and UML state machines. In particular, HiLA supports both a static graph transformational and a dynamic approach of applying aspects. Furthermore, it facilitates methodologically turni...
متن کاملUML 2.0 State Machines: Complete Formal Semantics Via core state machine
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriv...
متن کاملIntegrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
In this paper we address the problem of integrating UML static and dynamic views, and different behavioral views. We tackle these problems by providing (a) a mapping of UML metamodel static and behavioral elements into ASMs and (b) a precise compositional semantics for state machines. Structural model elements are translated into an ASM vocabulary as collections of domains and functions. The dy...
متن کاملMapping UML into Abstract State Machines: A Framework to Simulate UML Models
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract State Machines (ASMs). Structural model elements are translated into an ASM vocabulary as collections of domains and functions, whereas the dynamic view is captured by multi-agent ASMs reflecting the behavior modelled by UML state machines. In our toolkit, input UML model...
متن کاملImplementing Fault-Tolerant Services Using State Machines: Beyond Replication
This paper describes a method to implement fault-tolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines uses a combination of coding theory and replication to ensure efficiency as well as savings in storage and messages during normal operations. Fused state machines may incur higher overhead during recovery from crash or Byzantine ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015