In: Lecture Notes in Computer Science : Rapid Integration of Software Engineering Techniques, Volume 3943, 2006, pages 218-233. 2006. URL: http://dx.doi.org/10.1007/1175111316.
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.