Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Intelligent Systems
SAINT '03 Proceedings of the 2003 Symposium on Applications and the Internet
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
Journal of Management Information Systems
Artifact-centered operational modeling: lessons from customer engagements
IBM Systems Journal
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Modelling Flexible Processes with Business Objects
CEC '09 Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing
Artifact-Based Transformation of IBM Global Financing
BPM '09 Proceedings of the 7th International Conference on Business Process Management
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Transforming object-oriented models to process-oriented models
BPM'07 Proceedings of the 2007 international conference on Business process management
Product-based workflow support
Information Systems
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
PHILharmonicFlows: towards a framework for object-aware process management
Journal of Software Maintenance and Evolution: Research and Practice
Proceedings of the 5th ACM international conference on Distributed event-based system
BPM'11 Proceedings of the 9th international conference on Business process management
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Data management perspectives on business process management: tutorial overview
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Modeling and enacting complex data dependencies in business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Splitting GSM schemas: a framework for outsourcing of declarative artifact systems
BPM'13 Proceedings of the 11th international conference on Business Process Management
Hi-index | 0.00 |
Business artifacts (or simply, 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. Milestones are used to track whether key business-relevant operational objectives have been achieved by a business artifact. 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, and the recording of milestone status. 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 ''closed-form'' 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 commonly arising patterns for using GSM constructs to model business operations.