Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Symbolic Model Checking
Business Process Management: The Third Wave
Business Process Management: The Third Wave
Distributed and Parallel Databases
Expressibility results for linear-time and branching-time logics
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Applying Model Checking to Workflow Verification
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations
Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations
Hi-index | 0.00 |
Today, most business processes are at least partially supported by IT systems. An integration of those IT systems is required, because a business process usually involves several IT systems. The OrViA framework suggests a model-driven approach to solve this integration problem. Platform independent business processes are modelled and transformed into executable ones. To ensure compliance to internal and external policies, the OrViA framework suggests using model checking technologies.We present an industrial case study evaluating the OrViA framework in context of a model-driven SOA implementation in the E-Government domain. We were able to successfully apply the OrViA framework, but we also identified several problems. Our case study shows how model-driven approaches can be successfully applied in real-world projects.