Process-centric views of data-driven business artifacts

DOI10.1016/J.JCSS.2016.11.012MaRDI QIDQ2396822zbMATHOpenAlexFDO

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

zbMATH Keywords

data-aware workflowsprocess-centric views

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1746645 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• 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)

• A data-centric approach to manage business processes
• Guest editorial: Special issue on data and artifact-centric business processes
• Process-centric views of data-driven business artifacts
• Data centric workflows for crowdsourcing
• Verification and validation of formal data-centric business models
• CTL* model checking for data-aware dynamic systems with arithmetic
• Modeling and querying business data with artifact lifecycle
• Synthesis of Data Views for Communicating Processes

Describes a project that uses

Uses Software

• YAWL

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)