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: Proceedings › revisión exhaustiva

Idioma original	English
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

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

Link to publication in Scopus

Citar esto

Analyzing web service choreography specifications using colored Petri nets. / Caliz, Enrique; Umapathy, Karthikeyan; Sánchez-Ruíz, Arturo J. et al.
2011. 412-426 Papel presentado en 6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011, Milwaukee, WI, United States.

Producción científica: Proceedings › revisión exhaustiva

@conference{f8eee57ada6942d78a57fb7a93e5cf86,

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

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

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

note = "Caliz, E., Umapathy, K., S{\'a}nchez-Ru{\'i}z, A.J., Elfayoumy, S.A. (2011). Analyzing Web Service Choreography Specifications Using Colored Petri Nets. In: Jain, H., Sinha, A.P., Vitharana, P. (eds) Service-Oriented Perspectives in Design Science Research. DESRIST 2011. Lecture Notes in Computer Science, vol 6629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20633-7\_30; 6th International Conference on Service-Oriented Perspectives in Design Science Research, DESRIST 2011 ; Conference date: 05-05-2011 Through 06-05-2011",

year = "2011",

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

language = "English",

pages = "412--426",

}

TY - CONF

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.

N1 - Caliz, E., Umapathy, K., Sánchez-Ruíz, A.J., Elfayoumy, S.A. (2011). Analyzing Web Service Choreography Specifications Using Colored Petri Nets. In: Jain, H., Sinha, A.P., Vitharana, P. (eds) Service-Oriented Perspectives in Design Science Research. DESRIST 2011. Lecture Notes in Computer Science, vol 6629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20633-7_30

PY - 2011

Y1 - 2011

KW - Analyzing Specifications

KW - ChorToNet

KW - Colored Petri Nets

KW - Service Choreography

KW - WS-CDL

KW - Web service

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

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

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

M3 - Proceedings

AN - SCOPUS:79955839732

SP - 412

EP - 426

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

Y2 - 5 May 2011 through 6 May 2011

ER -