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 8 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»
14 years 1 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 9 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
14 years 1 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 2 months 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