Facilitating Workflow Interoperation Using Artifact-Centric Hubs

Hull, Richard; Narendra, Nanjangud C.; Nigam, Anil

doi:10.1007/978-3-642-10383-4_1

Cited by 41 publications

(41 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Artifact systems serve as a theoretical model for systems to be implemented and deployed on actual machines [9,14]. It is therefore of interest, and of particular relevance in practice, to investigate the model checking problem for such concrete implementations.…”

Section: Verification Of Deployed Artifact Systemsmentioning

confidence: 99%

Verification of Deployed Artifact Systems via Data Abstraction

Belardinelli

Lomuscio

Patrizi

2011

Service-Oriented Computing

View full text Add to dashboard Cite

Abstract. Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycle models, accounting for the relational structure of the artifact state and its possible evolutions over time. We consider the problem of verifying artifact systems against specifications expressed in quantified temporal logic. This problem is in general undecidable. However, when artifact systems are deployed, their states can contain only a bounded number of elements. We exploit this fact to develop an abstraction technique that enables us to verify deployed artifact systems by model checking their bounded abstraction.

show abstract

Section: Verification Of Deployed Artifact Systemsmentioning

confidence: 99%

Verification of Deployed Artifact Systems via Data Abstraction

Belardinelli

Lomuscio

Patrizi

2011

Service-Oriented Computing

View full text Add to dashboard Cite

show abstract

“…Barcelona [18] supports the execution of artifact models with Guard-Stage-Milestone (GSM). Sienna and Barcelona require ACSI Interoperation Hub [6] to support interoperation between enterprises. However, both of their systems are not publicly available at this stage, therefore we are not able test and evaluate them.…”

Section: Related Work Discussion and Conclusionmentioning

confidence: 99%

A Workflow Execution Platform for Collaborative Artifact-Centric Business Processes

Yongchareon

Ngamakeur

Liu

et al. 2014

On the Move to Meaningful Internet Systems: OTM 2014 Workshops

View full text Add to dashboard Cite

Abstract.To execute an artifact-centric process model, current workflow execution approaches require it to be converted to some existing executable language (e.g., BPEL) in order to run on a workflow system. We argue that the transformation can incur losses of information and degrade traceability. In this paper, we proposed and developed a workflow execution platform that directly executes a collaborative (i.e., inter-organizational) workflow specification of artifact-centric business processes without performing model conversion.

show abstract

“…Similarly, DIP processes are collaborative by nature and therefore need to provide multi-user, multi-roles support, with appropriate notions of visibility [10], traceability and accountability.…”

Section: A Decision Intensive Processesmentioning

confidence: 99%

Declarative business artifact centric modeling of decision and knowledge intensive business processes

Vaculín

Hull

Heath

et al. 2011

2011 IEEE 15th International Enterprise Distributed Object Computing Conference

Self Cite

View full text Add to dashboard Cite

In this paper we address the problem of modeling collaborative decision and knowledge intensive business processes (sometimes referred to as Decision Intensive Processes, or DIP processes). DIP processes assist users in performing decision intensive tasks, and provide users with a guidance relevant to process execution context. DIP processes are by nature collaborative, data-driven, need to support various kinds of flexibility at design and run time, and need to integrate with external services and information sources. Such a combination presents significant challenges for contemporary business processes technologies. We present a solution based on a business artifacts paradigm (a.k.a. business entities with lifecycles) using a Guard-Stage-Milestone (GSM) model for declarative lifecycles specification. We introduce a CoreControl-MicroProcess process design pattern, which allows a natural blending of a business functional process structure (usual for most business processes), with a decision & knowledge driven structure providing domain specific decision guidance to users. The proposed design pattern along with the declarative GSM BA approach provide suitable design primitives for DIP process, as demonstrated on a real problem from the supply chain solutions enablement domain.

show abstract

Facilitating Workflow Interoperation Using Artifact-Centric Hubs

Cited by 41 publications

References 17 publications

Verification of Deployed Artifact Systems via Data Abstraction

Verification of Deployed Artifact Systems via Data Abstraction

A Workflow Execution Platform for Collaborative Artifact-Centric Business Processes

Declarative business artifact centric modeling of decision and knowledge intensive business processes

Contact Info

Product

Resources

About