49 search results - page 7 / 10 » Modeling Service Choreographies Using BPMN and BPEL4Chor |
114
click to vote
ASM
2008
ASM
14 years 11 months ago
2008
ASM
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...
ECOWS
2006
Springer
14 years 11 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
BMCBI
2004
14 years 9 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
OTM
2004
Springer
15 years 3 months ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...