Towards service-based business process modeling, prototyping and integration

Authors:
Ang Chen;Didier Buchs
Affiliations:
Computer Science Department, University of Geneva, Geneva 4, Switzerland;Computer Science Department, University of Geneva, Geneva 4, Switzerland
Venue:
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Year:
2005

Citing 8
Cited 0

A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism

Concurrent object-oriented programming and petri nets
Workflow Patterns

Distributed and Parallel Databases
Using COALA to Develop a Distributed Object-Based Application

DOA '00 Proceedings of the International Symposium on Distributed Objects and Applications
Interfacing Software Libraries from Non-deterministic Prototypes

RSP '02 Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP'02)
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Prototyping object oriented specifications

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Pattern based workflow design using reference nets

BPM'03 Proceedings of the 2003 international conference on Business process management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Business process modeling, validation and verification are complex tasks due to the frequent change of requirements in the social environment to which the process contributes. In particular, transactional business processes need more attention in stages of modeling and verification because of their additional complexities in managing the specific behavior of transactions. This contribution proposes an approach to model and validate transactional business processes by means of compositing workflow patterns constructed using Concurrent Object-Oriented algebraic Petri Nets. Moreover, a concrete framework for business process validation, prototyping and integration is proposed.