Sciweavers

306 search results - page 5 / 62
» UML Semantics FAQ
Sort
View
UML
1998
Springer
13 years 11 months ago
Supporting Disciplined Reuse and Evolution of UML Models
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
Tom Mens, Carine Lucas, Patrick Steyaert
JUCS
2008
172views more  JUCS 2008»
13 years 7 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
QSIC
2009
IEEE
14 years 2 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
EDOC
2011
IEEE
12 years 7 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
14 years 21 days 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