104 search results - page 17 / 21 » Towards Formal Analysis of Artifact-Centric Business Process... |
102
click to vote
ER
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
UML
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
ASE
2006
14 years 10 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
108
click to vote
IJBIS
2010
14 years 7 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
103
click to vote
CSCWD
2001
Springer
15 years 2 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...