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?)
- Title not available (Why is that?)
- Adherences of languages
- Automata based verification over linearly ordered data domains
- Description logic knowledge and action bases
- Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata
- Elements of finite model theory.
- LTL with the freeze quantifier and register automata
- Model Checking Freeze LTL over One-Counter Automata
- Process-centric views of data-driven business artifacts
- Recursive unsolvability of a problem of Thue
- Specification and verification of data-driven Web applications
- Verification of relational transducers for electronic commerce
Cited In (8)
- CTL* model checking for data-aware dynamic systems with arithmetic
- Synthesis of Data Views for Communicating Processes
- A data-centric approach to manage business processes
- Guest editorial: Special issue on data and artifact-centric business processes
- Data centric workflows for crowdsourcing
- Modeling and querying business data with artifact lifecycle
- Verification and validation of formal data-centric business models
- Process-centric views of data-driven business artifacts
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)
