532 search results - page 56 / 107 » The UML as a Formal Modeling Notation |
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
SERP
2008
13 years 9 months ago
2008
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
ACISICIS
2007
IEEE
14 years 2 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
SOFSEM
2005
Springer
14 years 1 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...