650 search results - page 49 / 130 » Modeling SPARK systems with UML |
101
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
124
click to vote
SERA
2010
Springer
14 years 10 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
DLOG
2003
15 years 1 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
120
click to vote
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...