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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Chen, A., & Buchs, D. (2006). Towards service-based business process modeling, prototyping and integration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3943 LNCS, pp. 218–233). Springer Verlag. https://doi.org/10.1007/11751113_16
Mendeley helps you to discover research relevant for your work.