337 search results - page 22 / 68 » An Axiomatic Formalization of UML Models |
TOOLS
1999
IEEE
14 years 27 days ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
APCCM
2006
13 years 10 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
JOT
2010
13 years 7 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
FMCO
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
IEAAIE
2004
Springer
14 years 2 months ago
2004
Springer
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...