Sciweavers

433 search results - page 9 / 87
» Towards a BPMN Semantics Using UML Models
Sort
View
APSEC
2005
IEEE
14 years 2 months ago
Towards Aspect-Oriented Class Diagrams
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
Gefei Zhang
ASM
2000
ASM
14 years 28 days ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
FMOODS
2007
13 years 10 months ago
Analysis of UML Activities Using Dynamic Meta Modeling
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
Gregor Engels, Christian Soltenborn, Heike Wehrhei...
COMPSAC
2002
IEEE
14 years 1 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
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...
Wuwei Shen, Kevin J. Compton, James Huggins
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
14 years 1 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic