Agent-oriented conceptual models to UML sequence diagrams via effect annotations

Krishna, Aneesh; Ghose, Aditya; Vranesevic, Aleksandar

doi:10.3233/mgs-2006-2402

Cited by 5 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…execution traces once change operations have been applied, and [5] describe approaches to verify process integration operations. Finally, [12] describe an approach for developing UML sequence diagrams in a co-evolutionary manner with agent-oriented conceptual models by including semantic effect annotations.…”

Section: Related Workmentioning

confidence: 99%

Verifying Semantic Business Process Models in Inter-operation

Koliadis

Ghose

2007

IEEE International Conference on Services Computing (SCC 2007)

View full text Add to dashboard Cite

Process inter-operation is characterized as cooperative interactions among loosely coupled autonomous constituents to adaptively fulfill system-wide purpose. Issues of inconsistency can be anticipated in interoperating processes given their independent management and design. To reduce inconsistency (that may contribute to failures) effective methods for statically verifying behavioral interoperability are required. This paper contributes a method for practical, semantic verification of interoperating processes (as represented with BPMN models). We provide methods to evaluate consistency during process design where annotation of the immediate effect of tasks and sub-processes has been provided. Furthermore, some guidelines are defined against common models of inter-operation for scoping traceability to possible causes of inconsistency. This supports subsequent resolution efforts. Disciplines Physical Sciences and MathematicsPublication Details Koliadis, G. & Ghose, A. (2007 AbstractProcess inter-operation is characterized as cooperative interactions among loosely coupled autonomous constituents to adaptively fulfill system-wide purpose. Issues of inconsistency can be anticipated in inter-operating processes given their independent management and design. To reduce inconsistency (that may contribute to failures) effective methods for statically verifying behavioral interoperability are required. This paper contributes a method for practical, semantic verification of interoperating processes (as represented with BPMN models). We provide methods to evaluate consistency during process design where annotation of the immediate effect of tasks and sub-processes has been provided. Furthermore, some guidelines are defined against common models of inter-operation for scoping traceability to possible causes of inconsistency. This supports subsequent resolution efforts.

show abstract

Section: Related Workmentioning

confidence: 99%

Verifying Semantic Business Process Models in Inter-operation

Koliadis

Ghose

2007

IEEE International Conference on Services Computing (SCC 2007)

View full text Add to dashboard Cite

show abstract

“…The i* modeling framework [47] has been proposed for business process modeling and engineering. Much work has been carried out on supporting guided transformation of i* into other modeling languages [27,28]. In [9], some preliminary ideas have been proposed for developing a process model given the existence of an i* model.…”

Section: Related Workmentioning

confidence: 99%

A Combined Framework for Development of Business Process Support Systems

Gao

Krogstie

2009

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

In this paper, a combined modeling framework consisting of goal modeling, process modeling and business process characterizing modeling is presented. The framework is made to guide both business experts and model developers during the life cycle of a modeling-based project development. We consider a business process characterizing model (BPCM) as a starting point for developing an IT system. Then, the start of goal models and process models can be derived from a BPCM model. Process models are then used as inputs for deriving a candidate IT system. A development methodology to guide the development of process models from business process characterizing model is proposed. Furthermore, the development methodology is illustrated by an exemplar in the field of scientific conference organization.

show abstract

Combining i* and BPMN for Business Process Model Lifecycle Management

Koliadis

Vranesevic

Bhuiyan

et al. 2006

Business Process Management Workshops

Self Cite

View full text Add to dashboard Cite

The premise behind 'third wave' Business Process Management (BPM1) is effective support for change at levels. Business Process Modeling (BPM2) notations such as BPMN are used to effectively conceptualize and communicate process configurations to relevant stakeholders. In this paper we argue that the management of change throughout the business process model lifecycle requires greater conceptual support achieved via a combination of complementary notations. As such the focus in this paper is on the co-evolution of operational (BPMN) and organizational (i*) models. Our intent is to provide a way of expressing changes, which arise in one model, effectively in the other model. We present constrained development methodologies capable of guiding an analyst when reflecting changes from an i* model to a BPMN model and vice-versa. 2 ) notations such as BPMN are used to effectively conceptualize and communicate process configurations to relevant stakeholders. In this paper we argue that the management of change throughout the business process model lifecycle requires greater conceptual support achieved via a combination of complementary notations. As such the focus in this paper is on the co-evolution of operational (BPMN) and organizational (i*) models. Our intent is to provide a way of expressing changes, which arise in one model, effectively in the other model. We present constrained development methodologies capable of guiding an analyst when reflecting changes from an i* model to a BPMN model and vice-versa.

show abstract

Agent-oriented conceptual models to UML sequence diagrams via effect annotations

Cited by 5 publications

References 16 publications

Verifying Semantic Business Process Models in Inter-operation

Verifying Semantic Business Process Models in Inter-operation

A Combined Framework for Development of Business Process Support Systems

Combining i* and BPMN for Business Process Model Lifecycle Management

Contact Info

Product

Resources

About