Process-centric views of data-driven business artifacts
DOI10.1016/J.JCSS.2016.11.012zbMATH Open1370.68215OpenAlexW2240484354MaRDI QIDQ2396822FDOQ2396822
Authors: Adrien Koutsos, Victor Vianu 
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
Recommendations
- Process-centric views of data-driven business artifacts
- A data-centric approach to manage business processes
- Verification and validation of formal data-centric business models
- Reusing artifact-centric business process models: a behavioral consistent specialization approach
- Lectures on Concurrency and Petri Nets
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elements of finite model theory.
- Verification of relational transducers for electronic commerce
- LTL with the freeze quantifier and register automata
- Process-Centric Views of Data-Driven Business Artifacts
- Specification and verification of data-driven Web applications
- Recursive unsolvability of a problem of Thue
- Description logic knowledge and action bases
- Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata
- Title not available (Why is that?)
- Adherences of languages
- Model Checking Freeze LTL over One-Counter Automata
- Automata based verification over linearly ordered data domains
Cited In (5)
Uses Software
This page was built for publication: Process-centric views of data-driven business artifacts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2396822)
