Sciweavers

ASM
2008
ASM
14 years 1 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
OTM
2005
Springer
14 years 5 months ago
Registering a Business Collaboration Model in Multiple Business Environments
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
Birgit Hofreiter, Christian Huemer
ICWE
2007
Springer
14 years 5 months ago
Bridging the Gap between BPMN and WS-BPEL. M2M Transformations in Practice
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
Pau Giner, Victoria Torres, Vicente Pelechano