Using timed model checking for verifying workflows

Proceedings of the 2nd International Workshop on Computer Supported Activity Coordination, CSAC 2005, in Conjunction with ICEIS 2005

Volumn , Issue , 2005, Pages 75-88

  Gruhn, Volker ^a,b   Laue, Ralf ^a,b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b NONE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; MODEL CHECKER; MODEL-CHECKING TECHNIQUES; STATE MACHINE; TIMED MODEL CHECKING; UPPAAL MODEL CHECKERS; VALIDATION METHODS; WORK-FLOWS; WORKFLOW SPECIFICATION;

MANAGEMENT; SPECIFICATIONS;

MODEL CHECKING;

EID: 33645296974     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Koehler, J., Tirenni, G., Kumaran, S.: From business process model to consistent implementation: A case for formal verification methods. In: EDOC. (2002) 96-
2. Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using SPIN (1998)
3. Janssen, W, Mateescu, R., Mauw, S., Fennema, P, van der Stappen, P: Model checking for managers. In: 5th and 6th International SPIN Workshops. (1999) 92-107
4. Matousek, P.: Verification of Business Process Models. PhD thesis (2003)
5. Blazewicz, J., Lenstra, J., Kan, A.R.: Scheduling subject to resource constraints. Discrete Appl. Math. 5(1983)11-24
6. Kolisch, R., Hartmann, S.: Heuristic algorithms for solving the resource-constrained project scheduling problem: Classification and computational analysis (1999)
7. Li, H., Yang, Y., Chen, T.Y.: Resource constraints analysis of workflow specifications. J. Syst. Softw. 73 (2004) 271-285
8. Norström, C, Wall, A., Yi, W: Timed automata as task models for event-driven systems. In: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications. (1999) 182
9. Pozewaunig, H., Eder, J., Liebhart, W.: ePERT: Extending PERT for workflow management systems. In: First EastEuropean Symposium on Advances in Database and Information Systems ADBIS. (1997) 217-224
10. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2) (2000) 117-134
11. Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N.: Definition of deadlock patterns for business processes workflow models. In: Proceedings of the 32nd Annual Hawaii International Conference on System Sciences-Volume 5, IEEE Computer Society (1999) 5065
12. Workflow Management Coalition: Terminology and glossary. Technical report, Workflow Management Coalition (1999)
13. Sadiq, W.: On correctness issues in conceptual, modeling of workflows (1997)
14. Hillier, F.S., Lieberman, G.J.: Introduction to operations research. Holden-Day, Inc. (1986)
15. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1 (1997) 134-152
16. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for RealTime Systems. In: 7th. Symposium of Logics in Computer Science, IEEE Computer Scienty Press (1992) 394-406
17. Dwyer, M.B., Avrunin, G.S., Corbett, J.C: Property specification patterns for finite-state verification. In: FMSP '98: Proceedings of the second workshop on Formal methods in software practice, ACM Press (1998) 7-15
18. Gruhn, V, Laue, R.: Patterns for timed property specification. In: 3rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 05), Edinburgh, Scotland, April 2005, to appear. (2005)