Sciweavers

1426 search results - page 73 / 286
» Analyzing Web Service Based Business Processes
Sort
View
139
Voted
ICWS
2008
IEEE
15 years 5 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart
121
Voted
EDOC
2007
IEEE
15 years 10 months ago
Publishing of Interoperable Services and Processes in UDDI
— This paper presents a requirements analysis and a solution approach to representing workflow processes conforming to the Wf-XML/ASAP standard proposal in a UDDI registry. Wf-X...
Marcus Spies, Harald Schöning, Keith Swenson
122
Voted
DGO
2004
118views Education» more  DGO 2004»
15 years 5 months ago
Human-Centered Systems for Business Services
The focus of this paper reports a collaborative effort with the State of New Jersey in designing and building a human-centered e-government portal to support small and medium size...
Nabil R. Adam, Vijayalakshmi Atluri, Soon Ae Chun
129
Voted
ER
2003
Springer
158views Database» more  ER 2003»
15 years 8 months ago
Analysis of Web Services Composition Languages: The Case of BPEL4WS
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
117
Voted
WSFM
2007
Springer
15 years 9 months ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel