Automated temporal reasoning about reactive systems
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Business artifacts: An approach to operational specification
IBM Systems Journal
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
On formalised computer programs
Journal of Computer and System Sciences
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
The MASTRO system for ontology-based data access
Semantic Web
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
On the convergence of data and process engineering
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Compliance by design for artifact-centric business processes
Information Systems
Journal of Artificial Intelligence Research
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification of query completeness over processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
| Hi-index | 0.00 |
Artifacts are entities characterized by data of interest (constituting the state of the artifact) in a given business application, and a lifecycle, which constrains the artifact's possible evolutions. In this paper we study relational artifacts, where data are represented by a full fledged relational database, and the lifecycle is described by a temporal/ dynamic formula expressed in µ-calculus. We then consider business processes, modeled as a set of condition/action rules, in which the execution of actions (aka tasks, or atomic services) results in new artifact states. We study conformance of such processes wrt the artifact lifecycle as well as verification of temporal/dynamic properties expressed in µ-calculus. Notice that such systems are infinite-state in general, hence undecidable. However, inspired by recent literature on database dependencies developed for data exchange, we present a natural restriction that makes such systems finite-state, and the above problems decidable.