-
1
-
-
33744950141
-
Approaching web service coordination and composition by means of petri nets, the case of the nets-within-nets paradigm
-
B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, of, Springer
-
P. Álvarez, J. A. Bañares, and J. Ezpeleta. Approaching web service coordination and composition by means of petri nets, the case of the nets-within-nets paradigm. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 185-197. Springer, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3826
, pp. 185-197
-
-
Álvarez, P.1
Bañares, J.A.2
Ezpeleta, J.3
-
2
-
-
46849090500
-
-
B. Benatallah and H. R. M. Nezhad. Servicemosaic project: modeling, analysis and management of web services interactions. In M. Stumptner, S. Hartmann, and Y. Kiyoki, editors, APCCM, 53 of CRPIT, pages 7-9. Australian Computer Society, 2006.
-
B. Benatallah and H. R. M. Nezhad. Servicemosaic project: modeling, analysis and management of web services interactions. In M. Stumptner, S. Hartmann, and Y. Kiyoki, editors, APCCM, volume 53 of CRPIT, pages 7-9. Australian Computer Society, 2006.
-
-
-
-
3
-
-
46849085361
-
-
CCITT, editor. CCITT Recomendation Z. 120: Message Sequence Chart(MSC92). Technical report,CCITT., Geneva, 1992.
-
CCITT, editor. CCITT Recomendation Z. 120: Message Sequence Chart(MSC92). Technical report,CCITT., Geneva, 1992.
-
-
-
-
4
-
-
85131841064
-
Inheritance of interorganizational workflows to enable business-to-business e-commerce
-
V. der Aalst. Inheritance of interorganizational workflows to enable business-to-business e-commerce. Electronic Commerce Research, 2(3): 195-231, 2002.
-
(2002)
Electronic Commerce Research
, vol.2
, Issue.3
, pp. 195-231
-
-
der Aalst, V.1
-
5
-
-
33745170341
-
Translation of nets within nets in cross-organizational software process modeling
-
J. Ge, H. Hu, P. Lu, H. Hu, and J. Lü. Translation of nets within nets in cross-organizational software process modeling. In ISPW, pages 360-375, 2005.
-
(2005)
ISPW
, pp. 360-375
-
-
Ge, J.1
Hu, H.2
Lu, P.3
Hu, H.4
Lü, J.5
-
6
-
-
33746033681
-
Essential Business Process Modeling
-
O'Reilly Media, first edition, August
-
M. G. Harvey and M. Havey. Essential Business Process Modeling. Theory In Practice. O'Reilly Media, first edition, August 2005.
-
(2005)
Theory In Practice
-
-
Harvey, M.G.1
Havey, M.2
-
7
-
-
46849116212
-
A semantics for mscs based on petri net components
-
June
-
S. Heymer. A semantics for mscs based on petri net components. In SAM 2000: 2nd Workshop on SDL and MSC, June 2000.
-
(2000)
SAM 2000: 2nd Workshop on SDL and MSC
-
-
Heymer, S.1
-
8
-
-
46849085169
-
Petri nets as a semantic model for message sequence chart specifications
-
Grenoble, France
-
O. Kluge. Petri nets as a semantic model for message sequence chart specifications. In Proceedings of INT, Grenoble, France, 2002.
-
(2002)
Proceedings of INT
-
-
Kluge, O.1
-
9
-
-
84956869802
-
From coloured petri nets to object petri nets
-
C. Lakos. From coloured petri nets to object petri nets. In Application and Theory of Petri Nets, pages 278-297, 1995.
-
(1995)
Application and Theory of Petri Nets
, pp. 278-297
-
-
Lakos, C.1
-
11
-
-
0028744384
-
An algebraic semantics of basic message sequence charts
-
M. R. S. Mauw. An algebraic semantics of basic message sequence charts. The Computer Journal, 37(4):269-277, 1994.
-
(1994)
The Computer Journal
, vol.37
, Issue.4
, pp. 269-277
-
-
Mauw, M.R.S.1
-
12
-
-
36949015784
-
Synthesis of petri nets from message sequence charts specifications for protocol design
-
Washington DC, USA
-
M. Sgroi, A. Kondratyev, Y. Watanabe, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of petri nets from message sequence charts specifications for protocol design. In Proceedings of Design, Analysis and Simulation of Distributed Systems Symposium, DASD '04, pages 278-297, Washington DC, USA, 2004.
-
(2004)
Proceedings of Design, Analysis and Simulation of Distributed Systems Symposium, DASD '04
, pp. 278-297
-
-
Sgroi, M.1
Kondratyev, A.2
Watanabe, Y.3
Lavagno, L.4
Sangiovanni-Vincentelli, A.5
-
14
-
-
0034949703
-
-
W. v. d. A. T.Basten. Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.
-
W. v. d. A. T.Basten. Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.
-
-
-
-
15
-
-
84957613488
-
Petri nets as token objects: An introduction to elementary object nets
-
R. Valk. Petri nets as token objects: An introduction to elementary object nets. In ICATPN, pages 1-25, 1998.
-
(1998)
ICATPN
, pp. 1-25
-
-
Valk, R.1
-
16
-
-
0002719897
-
The application of petri nets to work-flow management
-
W. M. P. van der Aalst. The application of petri nets to work-flow management. Journal of Circuits, Systems, and Computers, 8(1):21-66, 1998.
-
(1998)
Journal of Circuits, Systems, and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
van der Aalst, W.M.P.1
-
17
-
-
85038589398
-
Modeling and analyzing interorganizational workflows
-
W. M. P. van der Aalst. Modeling and analyzing interorganizational workflows. In ACSD, pages 262-272, 1998.
-
(1998)
ACSD
, pp. 262-272
-
-
van der Aalst, W.M.P.1
-
18
-
-
0001838826
-
Interorganizational workflows:an approach based on message sequence charts and petri nets
-
W. M. P. van der Aalst. Interorganizational workflows:an approach based on message sequence charts and petri nets. System Analysis-Modelling- Simulation, 34(3):335-367, 1999.
-
(1999)
System Analysis-Modelling- Simulation
, vol.34
, Issue.3
, pp. 335-367
-
-
van der Aalst, W.M.P.1
-
19
-
-
0033319977
-
Process-oriented architectures for electronic commerce and interorganizational Workflow
-
W. M. P. van der Aalst. Process-oriented architectures for electronic commerce and interorganizational Workflow. Information Systems, 24(8):639-671, 1999.
-
(1999)
Information Systems
, vol.24
, Issue.8
, pp. 639-671
-
-
van der Aalst, W.M.P.1
-
20
-
-
0002422416
-
Loosely coupled interorganizational workflows:modeling and analyzing workflows crossing organizational boundaries
-
W. M. P. van der Aalst. Loosely coupled interorganizational workflows:modeling and analyzing workflows crossing organizational boundaries. Information and Management, 37(1): 131-158, 2000.
-
(2000)
Information and Management
, vol.37
, Issue.1
, pp. 131-158
-
-
van der Aalst, W.M.P.1
|