Analyzing web service choreography specifications using colored Petri nets

Enrique Caliz; Karthikeyan Umapathy; Arturo J. Sánchez-Ruíz; Sherif A. Elfayoumy

doi:10.1007/978-3-642-20633-7_30

Analyzing web service choreography specifications using colored Petri nets

Enrique Caliz
, Karthikeyan Umapathy
, Arturo J. Sánchez-Ruíz
, Sherif A. Elfayoumy

School of Computing

University of North Florida

Research output: Chapter or Contribution to Book › Literary contribution

Original language	English
Title of host publication	Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings
Pages	412-426
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-20633-7_30
State	Published - 2011
Event	6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011 - Milwaukee, WI, United States Duration: May 5 2011 → May 6 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6629 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011
Country/Territory	United States
City	Milwaukee, WI
Period	5/5/11 → 5/6/11

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

Analyzing Specifications
ChorToNet
Colored Petri Nets
Service Choreography
Web service
WS-CDL

Access to Document

10.1007/978-3-642-20633-7_30

Cite this

Caliz, E., Umapathy, K., Sánchez-Ruíz, A. J., & Elfayoumy, S. A. (2011). Analyzing web service choreography specifications using colored Petri nets. In Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings (pp. 412-426). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6629 LNCS). https://doi.org/10.1007/978-3-642-20633-7_30

Analyzing web service choreography specifications using colored Petri nets. / Caliz, Enrique; Umapathy, Karthikeyan; Sánchez-Ruíz, Arturo J. et al.
Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings. 2011. p. 412-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6629 LNCS).

Research output: Chapter or Contribution to Book › Literary contribution

Caliz, E, Umapathy, K, Sánchez-Ruíz, AJ & Elfayoumy, SA 2011, Analyzing web service choreography specifications using colored Petri nets. in Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6629 LNCS, pp. 412-426, 6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011, Milwaukee, WI, United States, 5/5/11. https://doi.org/10.1007/978-3-642-20633-7_30

Caliz E, Umapathy K, Sánchez-Ruíz AJ, Elfayoumy SA. Analyzing web service choreography specifications using colored Petri nets. In Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings. 2011. p. 412-426. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-20633-7_30

Caliz, Enrique ; Umapathy, Karthikeyan ; Sánchez-Ruíz, Arturo J. et al. / Analyzing web service choreography specifications using colored Petri nets. Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings. 2011. pp. 412-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3cb08d5a8cd24cd890c6c7c1f5f479f5,

title = "Analyzing web service choreography specifications using colored Petri nets",

keywords = "Analyzing Specifications, ChorToNet, Colored Petri Nets, Service Choreography, Web service, WS-CDL",

author = "Enrique Caliz and Karthikeyan Umapathy and S{\'a}nchez-Ru{\'i}z, \{Arturo J.\} and Elfayoumy, \{Sherif A.\}",

year = "2011",

doi = "10.1007/978-3-642-20633-7\_30",

language = "English",

isbn = "9783642206320",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "412--426",

booktitle = "Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings",

note = "6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011 ; Conference date: 05-05-2011 Through 06-05-2011",

}

TY - GEN

T1 - Analyzing web service choreography specifications using colored Petri nets

AU - Caliz, Enrique

AU - Umapathy, Karthikeyan

AU - Sánchez-Ruíz, Arturo J.

AU - Elfayoumy, Sherif A.

PY - 2011

Y1 - 2011

KW - Analyzing Specifications

KW - ChorToNet

KW - Colored Petri Nets

KW - Service Choreography

KW - Web service

KW - WS-CDL

UR - https://www.scopus.com/pages/publications/79955839732

UR - https://www.scopus.com/pages/publications/79955839732#tab=citedBy

U2 - 10.1007/978-3-642-20633-7_30

DO - 10.1007/978-3-642-20633-7_30

M3 - Literary contribution

AN - SCOPUS:79955839732

SN - 9783642206320

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 412

EP - 426

BT - Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings

T2 - 6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011

Y2 - 5 May 2011 through 6 May 2011

ER -

Analyzing web service choreography specifications using colored Petri nets

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this