Sciweavers

85 search results - page 1 / 17
» Service Interaction: Patterns, Formalization, and Analysis
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
13 years 11 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
ICFEM
2005
Springer
13 years 10 months ago
A Compositional Framework for Service Interaction Patterns and Interaction Flows
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
Alistair P. Barros, Egon Börger
BPM
2006
Springer
116views Business» more  BPM 2006»
13 years 6 months ago
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
Gero Decker, Frank Puhlmann, Mathias Weske
SEFM
2005
IEEE
13 years 10 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
ICSOC
2005
Springer
13 years 10 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin