Sciweavers

306 search results - page 56 / 62
» A Petri Net-based Model for Web Service Composition
Sort
View
WOSP
2004
ACM
15 years 2 months ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...
IEEESCC
2007
IEEE
15 years 3 months ago
Merging overlapping orchestrations: an application to the Bronze Standard medical application
Merging orchestrations is a crucial issue in the development process of service-based applications. However, merging orchestrations with overlaps is a manual and tedious process t...
Clementine Nemo-Cailliau, Tristan Glatard, Mireill...
SOCA
2008
IEEE
14 years 9 months ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
Tevfik Bultan, Xiang Fu
ISPW
2009
IEEE
15 years 4 months ago
Distributed Orchestration Versus Choreography: The FOCAS Approach
Web service orchestration is popular because the application logic is defined from a central and unique point of view, but it suffers from scalability issues. In choreography, the ...
Gabriel Pedraza, Jacky Estublier
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 3 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...