433 search results - page 11 / 87 » Towards a BPMN Semantics Using UML Models |
168
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
115
Voted
ISSE
2010
15 years 1 months ago
2010
134
Voted
UML
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
142
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...