LogLogics: A logic for history-dependent business processes

Science of Computer Programming

Volumn 65, Issue 1, 2007, Pages 30-40

  van Hee, Kees ^a   Oanea, Olivia ^a   Serebrenik, Alexander ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business processes; History dependent processes; Log; Temporal logics; Workflow

Indexed keywords

ALGORITHMS; COMPETITIVE INTELLIGENCE; MATHEMATICAL MODELS; VALUE ENGINEERING; WEBSITES;

BUSINESS PROCESS MODELS; HISTORY DEPENDENT PROCESSES; TEMPORAL LOGICS; WORKFLOWS;

FORMAL LOGIC;

EID: 33846633193     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.08.004     Document Type: Article

References (20)

1. van der Aalst W.M.P., de Beer H.T., and van Dongen B.F. Process mining and verification of properties: An approach based on temporal logic. OTM Conferences (1). LNCS vol. 3760 (2005), Springer 130-147
2. van der Aalst W.M.P., and van Hee K.M. Workflow Management: Models, Methods, and Systems (2002), MIT Press
3. Alur R., and Henzinger T.A. Logics and models of real time: A survey. In: de Bakker J.W., Huizing C., de Roever W.P., and Rozenberg G. (Eds). REX Workshop. Lecture Notes in Computer Science vol. 600 (1991), Springer 74-106
4. Alur R., and Henzinger T.A. A really temporal logic. Journal of the ACM 41 1 (1994) 181-204
5. Bouyer P., Chevalier F., and Markey N. On the expressiveness of TPTL and MTL. In: Ramanujam R., and Sen S. (Eds). FSTTCS. Lecture Notes in Computer Science vol. 3821 (2005), Springer 432-443
6. Cousot P., and Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL '77 (1977), ACM Press, New York, NY, USA 238-252
7. Dams D., Gerth R., and Grumberg O. Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems (TOPLAS) 19 2 (1997) 253-291
8. Dang Z., Bultan T., Ibarra O.H., and Kemmerer R.A. Past pushdown timed automata and safety verification. Theoretical Computer Science 313 1 (2004) 57-71
9. Dwyer M.B., Avrunin G.S., and Corbett J.C. Patterns in property specifications for finite-state verification. Proceedings of the 21st International Conference on Software Engineering. ICSE'99 (1999), IEEE Computer Society Press 411-420
10. van Hee K., Lomazova I.A., Oanea O., Serebrenik A., Sidorova N., and Voorhoeve M. Nested nets for adaptive systems. In: Donatelli S., and Thiagarajan P.S. (Eds). 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Turku, Finland, June 26-30, 2006. Lecture Notes in Computer Science vol. 4024 (2006), Springer 241-260
11. Kleene S.C. Introduction to Metamathematics (1952), Van Nostrand, Princeton
12. Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems 2 4 (1990) 255-299
13. Loiseaux C., Graf S., Sifakis J., Bouajjani A., and Bensalem S. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design 6 1 (1995) 11-44
14. Markey N., and Schnoebelen Ph. Model checking a path (preliminary report). In: Amadio R.M., and Lugiez D. (Eds). Proceedings of the 14th International Conference on Concurrency Theory. CONCUR'03, August 2003, Marseilles, France. Lecture Notes in Computer Science vol. 2761 (2003), Springer 251-265
15. Morikawa O. Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems. Notre Dame Journal of Formal Logic 42 1 (2001) 55-64
16. A. Nakamura, On a three-valued logic based on incomplete knowledge systems, Technical Report 1, Japan Research Group of Multiple-valued Logic, The Institute of Electronics, Information and Communication Engineers, 1995. Many-Valued Logic Technical Report
17. J.-F. Raskin, Logics, automata and classical theories for deciding real-time, Ph.D. Thesis, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium, 1999
18. Rinderle S., Reichert M., and Dadam P. Correctness criteria for dynamic changes in workflow systems - a survey. Data & Knowledge Engineering 50 1 (2004) 9-34
19. Russell N., van der Aalst W.M.P., ter Hofstede A.H.M., and Edmond D. Workflow resource patterns: Identification, representation and tool support. Proceedings of the 17th Conference on Advanced Information Systems Engineering. CAiSE'05. Lecture Notes in Computer Science vol. 3520 (2005), Springer 216-232
20. Thati P., and Rosu G. Monitoring algorithms for metric temporal logic specifications. Electronic Notes in Theoretical Computer Science 113 (2005) 145-162