1148 search results - page 18 / 230 » WebML modelling in UML |
76
Voted
UML
2001
Springer
15 years 4 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
81
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
108
click to vote
JOT
2008
15 years 11 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
77
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
ICECCS
2002
IEEE
15 years 5 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...