Process-centric views of data-driven business artifacts

DOI10.1016/J.JCSS.2016.11.012MaRDI QIDQ2396822zbMATH OpenOpenAlexFDO

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

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

• 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.
• 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?)
• 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)

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

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)