Process-centric views of data-driven business artifacts

DOI10.1016/j.jcss.2016.11.012zbMath1370.68215OpenAlexW2240484354MaRDI QIDQ2396822

Victor Vianu, Adrien Koutsos

Publication date: 26 May 2017

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2016.11.012

zbMATH Keywords

data-aware workflowsprocess-centric views

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Related Items

Data Centric Workflows for Crowdsourcing ⋮ CTL* model checking for data-aware dynamic systems with arithmetic

Uses Software

• YAWL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata
• Elements of finite model theory.
• Specification and verification of data-driven Web applications
• Adherences of languages
• Verification of relational transducers for electronic commerce
• LTL with the freeze quantifier and register automata
• Description Logic Knowledge and Action Bases
• Recursive Unsolvability of a problem of Thue
• Model Checking Freeze LTL over One-Counter Automata
• Process-Centric Views of Data-Driven Business Artifacts