The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM SIGMOD Record
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Adaptive and Dynamic Service Composition in eFlow
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Inter-Enterprise Collaborative Business Process Management
Proceedings of the 17th International Conference on Data Engineering
Workflow History Management in Virtual Enterprises using a Light-Weight Workflow Management System
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Collecting and Querying Distributed Traces of Composite Service Executions
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Multi-Level Modeling of Web Service Compositions with Transactional Properties
Journal of Database Management
Hi-index | 0.00 |
The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all sizes are forming online alliances in order to deliver integrated value-added services. Unfortunately, due to a lack of tools and methodologies offering an adequate level of abstraction, the development of these integrated services is currently ad hoc and requires a considerable effort of low-level programming, especially when dealing with coordination, communication, and execution tracing issues. In this paper, we present a framework through which business services can be declaratively composed, and the resulting composite services can be executed in a fully traceable manner. The traces of a composite service executions are collected incrementally through peer-to-peer interactions between the involved providers. Once collected, these traces are stored as linked objects in distributed repositories, which are made available for auditing, customer feedback and quality assessment.