27 search results - page 2 / 6 » Enhancing UML State Machines with Aspects |
FASE
2007
Springer
13 years 11 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
ASE
2006
13 years 5 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
ASWEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
VLDB
2002
ACM
13 years 4 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...