Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Business artifacts: An approach to operational specification
IBM Systems Journal
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Model-driven synthesis of SOA solutions
IBM Systems Journal
Siena: From PowerPoint to Web App in 5 Minutes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automatic verification of data-centric 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
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
AXART: enabling collaborative work with AXML artifacts
Proceedings of the VLDB Endowment
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Proceedings of the 5th ACM international conference on Distributed event-based system
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Proceedings of the 5th ACM international conference on Distributed event-based system
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
Business artifacts (BAs, or artifacts) are used to model conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. The recently introduced Guard-Stage-Milestone (GSM) meta-model for artifact lifecycles is declarative in nature, and allows concurrent execution of long-running (possibly human-executed) activities. Modularity is incorporated through the use of hierarchical clustering of activities. The GSM operational semantics is based on a variant of Event-Condition-Action (ECA) rules, which are used to control the start and termination of individual and composite activities. This paper introduces, in an abstract setting, three different and provably equivalent formulations of the GSM operational semantics. The semantics is specified in terms of how a single external event is incorporated into the current "snapshot" (i.e. full description) of a running execution of an artifact model. The "incremental" formulation corresponds to the sequential application of the ECA-like rules in response to the event; the "fixpoint" formulation characterizes the mathematical properties of pairs of snapshots corresponding to the full impact of incorporating the event; and the "closedform" formulation captures the fixpoint one in terms of first-order logic. The paper introduces a formally specified well-formedness condition on GSM models that guarantees the equivalence of the three formulations while permitting all of the commonly arising patterns for using GSM constructs to model business operations.