Searching for authors named "Mathias Weske" – sorted by Relevance.
-
Event-Based Modeling and Analysis of Distributed Workflow Executions
- Workflows are computer supported processes composed of related activities that are executed in highly heterogeneous and distributed environments. Aspects covered in workflow management range from systems design issues and transactional workflows to business process modeling and business process re-e
- Cited by 3 (0 self) – Add To MetaCart
-
Flexible Persistence Framework for Object-Oriented Middleware
- The ability to store object states persistently in a convenient and flexible way is an important requirement for middleware environments. In this paper we propose a language independent framework for flexible and extensible persistent storage services for object-oriented middleware. The framework is
- Cited by 1 (0 self) – Add To MetaCart
-
Integrated Workflow Planning and Coordination
- Abstract. Two major tasks in process management are the planning of a process and the coordination of its execution. Workflow management systems support and automate the coordination of a process, but planning the process remains a manual task. This paper argues that planning and coordination are cl
- Cited by 6 (4 self) – Add To MetaCart
-
Behavioral Consistency for B2B Process Integration
- Abstract. Interacting services are at the center of attention in businessto-business (B2B) process integration scenarios. Global interaction models specify the interaction behavior of each service and serve as contractual basis for the collaboration. Consequently, service implementations have to be
- Cited by 3 (2 self) – Add To MetaCart
-
M.: Interaction Soundness for Service Orchestrations
- Abstract. Traditionally, service orchestrations utilize services according to a choreography where they are a part of. The orchestrations as well as the choreographies describe pre-defined sequences of behavior. This paper investigates if a given orchestration can be enacted without deadlocks, i.e.
- Cited by 4 (2 self) – Add To MetaCart
-
Local enforceability in interaction petri nets
- Abstract. In scenarios where a set of independent business partners engage in complex conversations, global interaction models are a means to specify the allowed interaction behavior from a global perspective. In these models atomic interactions serve as basic building blocks and behavioral dependen
- Cited by 6 (3 self) – Add To MetaCart
-
Automated planning in a service-oriented architecture
- Service-oriented computing is a new paradigm to improve the performance of information systems in environments demanding for flexibility and interconnectivity. Additionally, the support of intra- and inter-organizational processes has become crucial for the competitiveness of companies. Recent resea
- Cited by 2 (1 self) – Add To MetaCart
-
M.: Automated service composition using heuristic search
- Abstract. Automated service composition is an important approach to automatically aggregate existing functionality. While different planning algorithms are applied in this area, heuristic search is currently not used. Lacking features like the creation of compositions with parallel or alternative co
- Cited by 6 (4 self) – Add To MetaCart
-
M.: Investigations on Soundness Regarding Lazy Activities
- Abstract. Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be on a path from the initial to the final activity, that after the final activity has been reached no other acti
- Cited by 10 (5 self) – Add To MetaCart
-
A Reference Model for Workflow Application Development Processes
- The success of workflow projects to a large extent depends on how workflow application development processes are planned, organized, and conducted. Based on lessons learned from problems encountered during realworld workflow application development projects, this paper presents a reference model for
- Cited by 8 (2 self) – Add To MetaCart

