Information Technology Reference
In-Depth Information
(Start
→
EF
(make an interview))
→
((Start
→¬
EF
(accept the application on-
line))
∧
((Start
→
EF
(make an interview per phone))
∨
(Start
→
EF
(make an
interview per Internet))))
The previous CTL-formula represents the whole complex model in Fig. 13.
6
Conclusion and Outlook
In this paper, we have introduced a new approach for modeling and formalizing busi-
ness process quality constraints aiming at providing the users with more flexibility by
allowing them to construct constraints with either deterministic or non-deterministic
future and by that to enhance the expressiveness ability. Our approach introduces the
Extended Process Pattern Specification Language (EPPSL), which is a heavy weight
extension of UML Activity Diagrams, and could be easily transformed to be based
on any other business process modeling language. EPPSL provides a set of intuitively
understandable modeling elements to model quality constraints in terms of branching
temporal logic. We also provide a pattern-based translation for EPPSL models into
CTL-formulas to achieve the formalization of quality constraints. In our approach, the
basic blocks of quality constraints are based only on actions and guards, since these
blocks could be actions, guards, anonymous steps (refer to unknown actions or un-
known guards), and partial quality constraints (based on the previous three blocks).
Later, other basic blocks could be considered, e.g. data objects. In our approach, we
only consider future temporal relationships. Past temporal relationships and real-time
relationships are open for future work. In our approach, we do not consider the iden-
tification of conflicting constraints, which may contain contradicting semantics. Later,
this aspect could be considered.
References
1. ISO 9001:2000:Quality Management Systems - Requirements. ISO International Organiza-
tion for Standardization (2000)
2. Förster, A., Engels, G., Schattkowsky, T., Van Der Straeten, R.: Verification of Business
Process Quality Constraints Based on Visual Process Patterns. In: The First Joint IEEE/IFIP
Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp. 197-208.
IEEE Computer Society, Shanghai (2007)
3. Object Management Group:UML 2.0 Superstructure. Version 2.0 (2005),
http://www.omg.org/spec/UML/2.0/Superstructure/PDF/
(last visited 2.12.2010)
4. Förster, A., Engels, G., Schattkowsky, T.: Activity Diagram Patterns for Modeling Qual-
ity Constraints in Business Processes. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005.
LNCS, vol. 3713, pp. 2-16. Springer, Heidelberg (2005)
5. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium
on Foundations of Computer Science (FOCS 1977), pp. 46-57 (1977)
6. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoret-
ical Computer Science, vol. B, pp. 955-1072. MIT Press, Cambridge (1990)
7. Liu, Y., Müller, S., Xu, K.: A Static Compliance-Checking Framework for Business Process
Models. IBM Systems Journal 46, 335-361 (2007)
