On a Synergy Between Data and Processes
暂无分享,去创建一个
Sietse Overbeek | Artem Polyvyanyy | Rick Brouwers | J.M.E.M. van der Werf | S. Overbeek | J. V. D. Werf | Artem Polyvyanyy | Rick Brouwers
[1] Moe Thandar Wynn,et al. Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.
[2] David de Frutos Escrig,et al. Decidability and complexity of Petri nets with unordered data , 2011 .
[3] Diego Calvanese,et al. Implementing Data-Centric Dynamic Systems over a Relational DBMS , 2015, AMW.
[4] Peter Tabeling,et al. Fundamental Modeling Concepts: Effective Communication of It Systems , 2006 .
[5] Indrajit Ray,et al. Detecting Termination of Active Database Rules Using Symbolic Model Checking , 2001, ADBIS.
[6] Stephan Schulz,et al. E - a brainiac theorem prover , 2002, AI Commun..
[7] Dennis McLeod,et al. Semantic integrity in a relational data base system , 1975, VLDB '75.
[8] E. F. CODD,et al. A relational model of data for large shared data banks , 1970, CACM.
[9] Marco Montali,et al. DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases , 2016, Trans. Petri Nets Other Model. Concurr..
[10] Sjaak Brinkkemper,et al. The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract) , 1990, CAiSE.
[11] Peter P. Chen. The Entity-Relationship Model: Towards a unified view of Data , 1976 .
[12] Michael Zink. Data Flow Diagrams , 2009, Encyclopedia of Database Systems.
[13] Terry A. Halpin,et al. Information modeling and relational databases (2. ed.) , 2008 .
[14] Kees M. van Hee,et al. Designing Case Handling Systems , 2008, Trans. Petri Nets Other Model. Concurr..
[15] Marco Montali,et al. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.
[16] Cw Christian Günther,et al. Modeling the case handling principles with colored petri nets , 2005 .
[17] Fernando Rosa-Velardo,et al. Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems , 2006, MTCoord@COORDINATION.
[18] Kees M. van Hee,et al. Generation of Database Transactions with Petri Nets , 2009, Fundam. Informaticae.
[19] Michael Westergaard,et al. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator , 2009, Petri Nets.
[20] Koen Claessen,et al. Using the TPTP Language for Writing Derivations and Finite Interpretations , 2006, IJCAR.