Sciweavers

40 search results - page 1 / 8
» Mapping interconnection choreography models to interaction c...
Sort
View
ZEUS
2010
200views Communications» more  ZEUS 2010»
13 years 6 months ago
Mapping interconnection choreography models to interaction choreography models
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
Oliver Kopp, Frank Leymann, Fei Wu 0002
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
13 years 10 months ago
Registering UMM Business Collaboration Models in an ebXML Registry
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
Birgit Hofreiter, Christian Huemer, Marco Zapletal
ACMICEC
2008
ACM
220views ECommerce» more  ACMICEC 2008»
13 years 6 months ago
Registering UML models for global and local choreographies
A local choreography describes how a business partner - from his perspective - interacts with other business partners. If local choreographies are developed in isolation, the loca...
Birgit Hofreiter
TASE
2008
IEEE
13 years 11 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
POPL
2012
ACM
12 years 6 days ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni