Specification and Verification of Artifact Behaviors in Business Process Models

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Service Oriented Computing

• Publication date

  2007-09-17

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-74974-5_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018influential reference
• Static Analysis of Business Artifact-centric Operational Models

  2007influential reference
• Modeling, analysis, and composition of business processes

  2007influential reference
• Towards Formal Analysis of Artifact-Centric Business Process Models

  2007influential reference
• Modeling Business Contexture and Behavior Using Business Artifacts

  2007cited by this paper
• Adaptive Business Objects - A new Component Model for Business Integration

  2005cited by this paper
• Case handling: a new paradigm for business process support

  2005cited by this paper
• A model-driven approach to industrializing discovery processes in pharmaceutical research

  2005cited by this paper
• A Framework for Document-Driven Workflow Systems

  2005cited by this paper
• Business artifacts: An approach to operational specification

  2003cited by this paper
• ADoc-oriented programming

  2003cited by this paper
• The Temporal Logic Sugar

  2001influential reference
• Timed Automata

  1999cited by this paper
• Temporal and Modal Logic

  1991influential reference
• Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics

  1990cited by this paper

• Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement

  2024cites this paper
• Integrated Modeling of Business Process in Stereoscopic Warehouse Digital Twin System

  2023cites this paper
• Runtime Verification of Business Cloud Workflow Temporal Conformance

  2022cites this paper
• A Query Language for Summarizing and Analyzing Business Process Data

  2021cites this paper
• A contract-based workflow execution framework for realizing artifact-centric business processes in a dynamic and collaborative environment

  2020cites this paper
• Enabling flexible task compositions, orders and granularities for knowledge-intensive business processes

  2019influential citation
• Verification of behavioral soundness for artifact-centric business process model with synchronizations

  2019cites this paper
• Decidable Verification of Agent-Based Data-Aware Systems

  2019cites this paper
• Internet of Things Enabled Policing Processes

  2019cites this paper
• Toward configurable modeling for artifact‐centric business processes

  2019cites this paper
• Information Systems Modeling: Language, Verification, and Tool Support

  2019cites this paper
• SIGMOD officers, committees, and awardees

  2018cites this paper
• Automatic verification of database-centric systems

  2018influential citation
• A Formal Model for Compliance Verification of Service Compositions

  2018cites this paper
• Integration framework for artifact-centric processes in the internet of things. (Cadre d'intégration pour les processus centrés artéfacts dans l'Internet des objets)

  2018cites this paper
• Conformance checking in UML artifact-centric business process models

  2018cites this paper
• iRecruit: Towards Automating the Recruitment Process

  2018cites this paper
• Ensuring the semantic correctness of a BAUML artifact-centric BPM

  2018cites this paper
• A likelihood-free Bayesian derivation method for service variants

  2018cites this paper
• GSM+T: A Timed Artifact-Centric Process Model

  2018cites this paper
• iProcess: Enabling IoT Platforms in Data-Driven Knowledge-Intensive Processes

  2018cites this paper
• Decentralized enforcement of document lifecycle constraints

  2017cites this paper
• From Data-centric Business Processes to Enterprise Process Frameworks

  2017cites this paper
• Business Process Variability : A Study into Process Management and Verification

  2016cites this paper
• Verification of Data-aware Business Processes in the Presence of Ontologies

  2016cites this paper
• Towards an Integration System for Artifact-centric Processes

  2016cites this paper
• Artifact-Centric Business Process Models in UML: Specification and Reasoning

  2016cites this paper
• Decentralized Enforcement of Artifact Lifecycles

  2016cites this paper
• Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems

  2016cites this paper
• Business Process Data Analysis

  2016cites this paper
• Verification of Hierarchical Artifact Systems

  2016cites this paper
• Artefact-centric business process configuration

  2016cites this paper
• Bounded situation calculus action theories

  2015cites this paper
• Specifying artifact-centric business process models in UML: technical report

  2015cites this paper
• Query Stability in Monotonic Data-Aware Business Processes [Extended Version]

  2015cites this paper
• A Database, specification and Theory Perspective (Data-Aware, Analysis)

  2015cites this paper
• Improving the understandability of artifact-centric workflows using BPMN with extensions

  2015cites this paper
• On the integration of artifact lifecycles

  2015cites this paper
• A view framework for modeling and change validation of artifact-centric inter-organizational business processes

  2015cites this paper
• CYBERLAWS 2011

  2015cites this paper
• Design-Time Compliance of Service Compositions in Dynamic Service Environments

  2015cites this paper
• Supporting Multilevel Incentive Mechanisms in Crowdsourcing Systems: An Artifact-Centric View

  2015cites this paper
• Verification and Validation of UML Artifact-Centric Business Process Models

  2015cites this paper
• Automating correctness verification of artifact-centric business process models

  2015cites this paper
• KRDB Research Centre Technical Report : Query Stability in Data-aware Business Processes

  2015cites this paper
• Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction

  2014cites this paper
• Change Analysis for Artifact-Centric Business Processes

  2014cites this paper
• Specifying Artifact-Centric Business Process Models in UML

  2014cites this paper
• Applying buisiness process redesign heuristics in an artifact centric process modeling approach:a case study in the poultry processing industry

  2014influential citation
• Research on Flexible Business Process of Bank Modeling Based on EPC

  2014cites this paper
• Decidability and complexity of simulation preorder for data-centric Web services. (Décidabilité et complexité de la relation de simulation des services Web orientés données)

  2014cites this paper
• Recovery and Refinement of Business Process Models for Web Applications

  2014cites this paper
• Automatic Verification of Database-Centric Systems

  2014influential citation
• From Artifacts to Activities

  2014cites this paper
• Verifiable UML Artifact-Centric Business Process Models

  2014cites this paper
• Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction

  2014cites this paper
• Progression and Verification of Situation Calculus Agents with Bounded Beliefs

  2014cites this paper
• Temporal consistency management of artifact-centric business processes

  2013cites this paper
• Foundations of data-aware process analysis: a database theory perspective

  2013cites this paper
• Enabling Customer Experience and Front-Office Transformation through Business Process Engineering

  2013cites this paper
• A survey of formal business process verification : From soundness to variability

  2013cites this paper
• Framework for coordination of activities in dynamic situations

  2013cites this paper
• Verification of Agent-Based Artifact Systems

  2013influential citation
• Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes

  2013cites this paper
• Reasoning on UML Data-Centric Business Process Models

  2013cites this paper
• Cooperative runtime monitoring

  2013cites this paper
• Models for Data-Centric Workflows

  2013cites this paper
• Object-aware process management

  2013cites this paper
• Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes

  2013influential citation
• CMMN Implementation in Executable Model of Business Process at Order-Based Manufacturing Enterprise

  2013cites this paper
• On realization of artifact-centric model for business processes

  2013cites this paper
• PHILharmonicFlows: research and design methodology

  2012cites this paper
• Formal Verification of Effectiveness of Control Activities in Business Processes

  2012cites this paper
• Formal Specification and Verification of Data-Centric Web Services

  2012cites this paper
• A Framework for Realizing Artifact-Centric Business Processes in Service-Oriented Architecture

  2012cites this paper
• The Alpha-Flow Approach to Inter-Institutional Process Support in Healthcare

  2012cites this paper
• A Framework and a Language for Analyzing Cross-Cutting Aspects in Ad-hoc Processes

  2012cites this paper
• Artifact systems with data dependencies and arithmetic

  2012cites this paper
• Recognizing Valid Artifacts in Business Processes

  2012cites this paper
• Bounded Situation Calculus Action Theories and Decidable Verification

  2012cites this paper
• Runtime Enforcement of Web Service Message Contracts with Data

  2012cites this paper
• ADAPTIVE MODELING OF INTER-ORGANIZATIONAL BUSINESS PROCESSES

  2012cites this paper
• Process and Data: Two Sides of the Same Coin?

  2012cites this paper
• Comparing workflow specification languages: A matter of views

  2012cites this paper
• Bounded situation calculus action theories (Extended abstract)

  2012cites this paper
• A Monitor Approach in Data-centric BPM

  2012cites this paper
• a i S C ACSI – Artifact-Centric Service Interoperation Deliverable 1 . 3 The complete ACSI artifact paradigm

  2012cites this paper
• Specification and monitoring of data-centric temporal properties for service-based systems

  2012cites this paper
• Verification of relational data-centric dynamic systems with external services

  2012influential citation
• Detecting Runtime Business Process Compliance with Artifact Lifecycles

  2012cites this paper
• Verification of Conjunctive Artifact-Centric Services

  2012cites this paper
• The execution and detection of artifact-centric business process

  2011cites this paper
• IBM Research Report Entity-Centric Operations Modeling for Business Process Management Part 1: A Multidisciplinary Review of the State-of-the-Art

  2011cites this paper
• RESEARCH PAPER Framework for Coordination of Activities in Dynamic Situations

  2011cites this paper
• A Formal Methodology for Procedural Security Assessment

  2011cites this paper
• On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles

  2011cites this paper
• Artifact-Centric Business Process Synthesis Framework Using Discrete Event Systems Theory

  2011cites this paper
• Law Modeling with Ontological Support and BPMN: a Case Study

  2011cites this paper
• Procedural security analysis: A methodological approach

  2011cites this paper
• Object-Aware Business Processes: Fundamental Requirements and their Support in Existing Approaches

  2011cites this paper