Formalizing Collaboration Goal Sequences for Service Choreography

DOI10.1007/11888116_21MaRDI QIDQ3613073zbMATH OpenOpenAlexFDO

Authors Humberto Nicolás Castejón, Rolv Bræk

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The semantics and verification of timed service choreography
• Formalizing web service choreographies
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• A formal approach to service specification and matching based on graph transformation
• A Petri net approach for the design and analysis of web services choreographies

This page was built for publication: Formalizing Collaboration Goal Sequences for Service Choreography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613073)