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

Producción científica: Literary contribution

Idioma original	English
Título de la publicación alojada	Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Proceedings
Páginas	412-426
Número de páginas	15
DOI	https://doi.org/10.1007/978-3-642-20633-7_30
Estado	Published - 2011
Evento	6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011 - Milwaukee, WI, United States Duración: may 5 2011 → may 6 2011

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	6629 LNCS
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011
País/Territorio	United States
Ciudad	Milwaukee, WI
Período	5/5/11 → 5/6/11

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Acceder al documento

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

Otros archivos y enlaces

Citar esto

Caliz, E., Umapathy, K., Sánchez-Ruíz, A. J., & Elfayoumy, S. A. (2011). Analyzing web service choreography specifications using colored Petri nets. En 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).

Producción científica: Literary contribution

Caliz, E, Umapathy, K, Sánchez-Ruíz, AJ & Elfayoumy, SA 2011, Analyzing web service choreography specifications using colored Petri nets. En 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. En 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 -