Mixing paradigms for more comprehensible models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8094 LNCS, Issue , 2013, Pages 283-290

  Westergaard, Michael ^a,b   Slaats, Tijs ^c,d  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS   (Russian Federation)

^c IT UNIVERSITY OF COPENHAGEN   (Denmark)

^d Exformatics A S   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA; ABSTRACT PROCESS; COLORED PETRI NETS; CONTROL-FLOW; DATA SUPPORT; DECLARATIVE LANGUAGES; EXPLICIT MODELING; STRUCTURED PROCESS;

ENTERPRISE RESOURCE MANAGEMENT; PETRI NETS;

FLOW GRAPHS;

EID: 84881251914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40176-3_24     Document Type: Conference Paper

References (19)

1. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)
2. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow Modeling using Proclets. In: CoopIS 2000. LNCS, pp. 198-209. Springer, Heidelberg (2000)
3. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
4. Carmona, J.A., Cortadella, J., Kishinevsky, M.: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 358-373. Springer, Heidelberg (2008)
5. CPN Tools webpage, http://cpntools.org
6. Fahland, D.: Towards analyzing declarative workflows. In: Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, vol. 07061, p. 6. Internationales Begegnungs- und Forschungszentrum fuer Informatik, IBFI (2007)
7. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post-Proc. of PLACES 2010 (2010)
8. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Terry, H.,I.F., Stacy, H., Mark, L., Sridhar, M., Anil, N., Piyawadee, S., Roman, V.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proc. of WS-FM 2010, pp. 1-24. Springer, Heidelberg (2011)
9. Jensen, K., Kristensen, L.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)
10. Kristensen, L.M., Westergaard, M.: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 215-230. Springer, Heidelberg (2010)
11. Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime Verification of LTL-Based Declarative Process Models. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 131-146. Springer, Heidelberg (2012)
12. Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
13. Mukkamala, R.R.: A Formal Model For Declarative Workflows - Dynamic Condition Response Graphs. Ph.D. thesis, IT University of Copenhagen (March 2012)
14. Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007 Workshops. LNCS, vol. 4928, pp. 335-346. Springer, Heidelberg (2008) (Pubitemid 351358267)
15. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)
16. Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: An empirical investigation. In: Proc. of ER-BPM 2011, pp. 383-394 (2011)
17. Westergaard, M.: CPN Tools 4: Multi-formalism and Extensibility. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 400-409. Springer, Heidelberg (2013)
18. Westergaard, M.: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 83-98. Springer, Heidelberg (2011)
19. Westergaard, M., Maggi, F.: Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. In: Business Process Management Demonstration Track (BP-MDemos 2011). CEUR Workshop Proceedings, vol. 820, CEUR-WS.org (2011)