-
1
-
-
0038315923
-
-
available at
-
Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, and Sanjiva Weerawarana. Business Process Execution Language for Web Services (v1.1), 2003. available at http://www.ebpml.org/bpel4ws.htm.
-
(2003)
Business Process Execution Language for Web Services (V1.1)
-
-
Andrews, T.1
Curbera, F.2
Dholakia, H.3
Goland, Y.4
Klein, J.5
Leymann, F.6
Liu, K.7
Roller, D.8
Smith, D.9
Thatte, S.10
Trickovic, I.11
Weerawarana, S.12
-
2
-
-
8644292666
-
On the semantics of EPCs: A framework for resolving the vicious circle (extended abstract)
-
Markus Nüttgens and Frank J. Rump, editors, Gesellschaft für Informatik e.V. available at
-
Wil van der Aalst, Jörg Desel, and Ekkart Kindler. On the semantics of EPCs: A Framework for resolving the vicious circle (extended abstract). In Markus Nüttgens and Frank J. Rump, editors, Proc. 2. Ws. Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK'03), pages 71-79. Gesellschaft für Informatik e.V. 2003. available at www.epk-community.de.
-
(2003)
Proc. 2. Ws. Geschäftsprozessmanagement Mit Ereignisgesteuerten Prozessketten (EPK'03)
, pp. 71-79
-
-
Van Der Aalst, W.1
Desel, J.2
Kindler, E.3
-
5
-
-
27144479508
-
On the semantics of EPCs: Efficient calculation and simulation
-
Markus Nüttgens and Frank J. Rump, editors, Gesellschaft für Informatik e.V. available at
-
Nicolas Cuntz and Ekkart Kindler. On the semantics of EPCs: Efficient calculation and simulation. In Markus Nüttgens and Frank J. Rump, editors, Proc. 3. Ws. Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK'04), pages 7-26. Gesellschaft für Informatik e.V. 2004. available at www.epk-community.de.
-
(2004)
Proc. 3. Ws. Geschäftsprozessmanagement Mit Ereignisgesteuerten Prozessketten
, pp. 7-26
-
-
Cuntz, N.1
Kindler, E.2
-
6
-
-
25144450483
-
Verification of EPCs: Using reduction rules and petri nets
-
Oscar Pastor and J. Falcao e Cunha, editors, number 3520 in LNCS, Springer Verlag
-
B.F. van Dongen, Wil M.P. van der Aalst, and H.M.W. Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. In Oscar Pastor and J. Falcao e Cunha, editors, Proc. 17th Intl. Conf. Advanced Information Systems Engineering (CAiSE'05), number 3520 in LNCS, pages 372-386. Springer Verlag, 2005.
-
(2005)
Proc. 17th Intl. Conf. Advanced Information Systems Engineering (CAiSE'05)
, pp. 372-386
-
-
Van Dongen, B.F.1
Van Der Aalst, W.M.P.2
Verbeek, H.M.W.3
-
7
-
-
0346245772
-
Semantische prozessmodellierung auf der grundlage " ereignisgesteuerte prozessketten (EPK)
-
Uni Saarbr̈ucken, available at
-
Gerd Keller, Markus Nüttgens, and August-Wilhelm Scheer. Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerte Prozessketten (EPK)". Technical Report 89, Institut für Wirtschaftsinformatik, Uni Saarbr̈ucken, 1992. available at http://www.iwi.uni-sb.de/iwi-hefte/heft089. pdf.
-
(1992)
Technical Report 89, Institut Für Wirtschaftsinformatik
-
-
Keller, G.1
Nüttgens, M.2
Scheer, A.-W.3
-
8
-
-
0042292681
-
Prozeßmodellierung mit ereignisgesteuerten prozeßketten (EPKs) und petri-netzen
-
P. Langner, C. Schneider, and K. Wehler. Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen. Wirtschaftsinformatik, 39(5):479-489, 1997.
-
(1997)
Wirtschaftsinformatik
, vol.39
, Issue.5
, pp. 479-489
-
-
Langner, P.1
Schneider, C.2
Wehler, K.3
-
10
-
-
0344429771
-
OMG unified modeling language specification
-
OMG, (adopted formal specification, version 1.5), March
-
OMG. OMG Unified Modeling Language Specification (adopted formal specification, version 1.5). Technical report, Object Management Group, March 2003.
-
(2003)
Technical report, Object Management Group
-
-
-
14
-
-
37149016612
-
Obstacles on theway towards a formal semantics of UML 2.0 activities
-
Klaus Pohl, editor, number P-64 in Lecture Notes in Informatics, Gesellschaft f̈ur Informatik e.V
-
Harald Störrle and Jan Hendrik Hausmann. Obstacles on theWay Towards a Formal Semantics of UML 2.0 Activities. In Klaus Pohl, editor, Proc. Natl. Germ. Conf. Software- Engineering 2005 (SE'05), number P-64 in Lecture Notes in Informatics, pages 117- 128. Gesellschaft f̈ur Informatik e.V. 2005.
-
(2005)
Proc. Natl. Germ. Conf. Software- Engineering 2005 (SE'05)
, pp. 117-128
-
-
Störrle, H.1
Hausmann, J.H.2
-
15
-
-
33749606113
-
Semantics and verification of data-flow in UML 2.0 activities
-
Mark Minas, editor, IEEE Press, available at
-
Harald Störrle. Semantics and Verification of Data-Flow in UML 2.0 Activities. In Mark Minas, editor, Proc. Intl. Ws. on Visual Languages and Formal Methods (VLFM'04), pages 38-52. IEEE Press, 2004. available at www.pst.informatik.uni-muenchen.de/-stoerrle.
-
(2004)
Proc. Intl. Ws. on Visual Languages and Formal Methods (VLFM'04)
, pp. 38-52
-
-
Störrle, H.1
-
16
-
-
16244408332
-
Semantics of control-flow in UML 2.0 activities
-
Paolo Bottoni, Chris Hundhausen, Stefano Levialdi, and Genny Tortora, editors, IEEE Computer Society
-
Harald Störrle. Semantics of Control-Flow in UML 2.0 Activities. In Paolo Bottoni, Chris Hundhausen, Stefano Levialdi, and Genny Tortora, editors, Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pages 235-242. IEEE Computer Society, 2004.
-
(2004)
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
, pp. 235-242
-
-
Störrle, H.1
-
17
-
-
84873970469
-
Semantics of expansion nodes in UML 2.0 activities
-
Harald Störrle. Semantics of Expansion Nodes in UML 2.0 Activities. Nordic Journal of Computing, 11(3):1-24, 2004.
-
(2004)
Nordic Journal of Computing
, vol.11
, Issue.3
, pp. 1-24
-
-
Störrle, H.1
|