Statecharts: A visual formalism for complex systems
Science of Computer Programming
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Probability, stochastic processes, and queueing theory: the mathematics of computer performance modeling
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
A configuration management approach for large workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Workflow and Process Automation: Concepts and Technology
Workflow and Process Automation: Concepts and Technology
Workflow Management Systems and Interoperability
Workflow Management Systems and Interoperability
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Providing High Availability in Very Large Worklflow Management Systems
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
COOPIS '97 Proceedings of the Second IFCIS International Conference on Cooperative Information Systems
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Deriving Service Models in Cross-Organizational Workflows
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
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
The Web in 2010: Challenges and Opportunities for Database Research
Informatics - 10 Years Back. 10 Years Ahead.
Joint optimization of hardware and network systems
Journal of Parallel and Distributed Computing
Stochastic modeling and quality evaluation of workflow systems based on QWF-Nets
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
| Hi-index | 0.00 |
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organizations are complex distributed systems. They consist of multiple workflow engines, application servers, and ORB-style communication servers. Thus, deriving a suitable configuration of an entire distributed WFMS for a given application workload is a difficult task. This paper presents a mathematically based method for configuring a distributed WFMS such that the application's demands regarding performance and availability can be met while aiming to minimize the total system costs. The major degree of freedom that the configuration method considers is the replication of the underlying software components, workflow engines and application servers of different types as well as the communication server, on multiple computers for load partitioning and enhanced availability. The mathematical core of the method consists of Markov-chain models, derived from the application's workflow specifications, that allow assessing the overall system's performance, availability, and also its performability in the degraded mode when some server replicas are offline, for given degrees of replication. By iterating over the space of feasible system configurations and assessing the quality of candidate configurations, the developed method determines a configuration with near-minimum costs.