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: Contribution to conference › Proceedings › peer-review

Original language	English
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

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
WS-CDL
Web service

Access to Document

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

Cite this

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

Research output: Contribution to conference › Proceedings › peer-review

@conference{635ce6d8902f4fcab5b4021b04a2bebe,

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 - http://www.scopus.com/inward/record.url?scp=79955839732&partnerID=8YFLogxK

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 -

Analyzing web service choreography specifications using colored Petri nets

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this