Verification of business process quality constraints based on visual process patterns

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 197-206

  Förster, Alexander ^a   Engels, Gregor ^a   Schattkowsky, Tim ^a   Van Der Straeten, Ragnhild ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER PROGRAMMING LANGUAGES; QUALITY CONTROL; TEMPORAL LOGIC; VERIFICATION;

UML ACTIVITIES; VISUAL PROCESS PATTERNS;

VISUALIZATION;

EID: 34548855338     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.56     Document Type: Conference Paper

References (18)

1. S. W. Ambler. Process Patterns - Building Large-Scale Systems Using Object Technology. SIGS Books/Cambridge University Press, Cambridge, 1998.
2. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model verifier. In N. Halbwachs and D. Peled, editors, Proceeding of International Conference on Computer-Aided Verification (CAV'99), volume 1633 of LNCS, pages 495-499. Springer, July 1999.
3. B. Devereux and M. Chechik. Automated support for building behavioral models of event-driven systems. In Fundamental Approaches to Software Engineering (FASE), volume 3922 of LNCS, pages 122-138. Springer, 2006.
4. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic Meta Modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, York, UK, October 2-6, 2000, Proceedings, volume 1939 of LNCS, pages 323-337. Springer, 2000.
5. R. Eshuis. Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol., 15(1):1-38, 2006.
6. A. Förster and G. Engels. Quality ensuring development of software processes. In F. Oquendo, editor, Software Process Technology, 9th European Workshop, EWSPT 2003, volume 2786 of LNCS, pages 62-73. Springer, 2003.
7. A. Förster, G. Engels, and T. Schattkowsky. Activity diagram patterns for modeling quality constraints in business processes. In L. C. Briand and C. Williams, editors, Model Driven Engineering Languages and Systems, 8th International Conference, volume 3713 of LNCS, pages 2-16. Springer, 2005.
8. A. Förster, G. Engels, T. Schattkowsky, and R. V. D. Straeten. A pattern-driven development process for quality standard-conform business process models. In IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC 2006, 2006.
9. D. M. Gabbay. The declarative past and imperative future: Executable temporal logic for interactive systems. In Temporal Logic in Specification, pages 409-448, 1987.
10. J. H. Hausmann. Dynamic Meta Modeling. A Semantics Description Technique for Visual Modeling Languages. PhD thesis, Universität Paderborn, Germany, 2005.
11. J. H. Hausmann, R. Heckel, and S. Sauer. Towards Dynamic Meta Modeling of UML extensions: An extensible semantics for UML sequence diagrams. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pages 80-87. IEEE Computer Society, 2001.
12. W Janssen, R. Mateescu, S. Mauw, P. Fennema, and P. van der Stappen. Model checking for managers. In Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pages 92-107, London, UK, 1999. Springer-Verlag.
13. E. Kindler and W. M. P. van der Aalst. Liveness, fairness, and recurrence. Information Processing Letters, 70(6):269-274, 1999.
14. Object Management Group. Unified Modeling Language 2.0 Superstructure Specification. http://www.omg.org/cgibin/apps/doc?formal/05-07-04.pdf, February 2006.
15. A. Rensink. The GROOVE simulator: A tool for state space generation. In J. Pfalz, M. Nagl, and B. Bohlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of LNCS, pages 479-485. Springer, 2004.
16. D. Riehle and H. Zullighoven. Understanding and using patterns in software development. Theory and Practice of Object Systems, 2(1):3-13, 1996.
17. H. Störrle and J. H. Hausmann. Towards a formal semantics of UML 2.0 activities. In P. Liggesmeyer, K. Pohl, and M. Goedicke, editors, Software Engineering, volume 64 of LNI, pages 117-128. GI, 2005.
18. W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros. Workflow patterns. In Distributed and Parallel Databases, volume 14(3), pages 5-51, July 2003.