Articles

PDF

Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations (with M. Bhuiyan, M.M. Z. Islam, and A. Krishna), Faculty of Informatics - Papers (2007)
Agent–oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase...
 

PDF

Managing Business Process Risk Using Rich Organizational Models (with M. Bhuiyan, M.M. Z. Islam, G. Koliadis, and A. Krishna), Faculty of Informatics - Papers (2007)
Business processes represent the operational capabilities of an organization. In order to ensure process continuity,...
 

PDF

Iterated belief change (with P. O. Hadjinian, A. Sattar, J. You, and R. Goebel), Faculty of Informatics - Papers (2004)
Most existing formalizations treat belief change as a single step process, and ignore several problems...
 

Presentations

PDF

Verifying Semantic Business Process Models in Inter-operation (with G. Koliadis), Faculty of Informatics - Papers (2007)
Process inter-operation is characterized as cooperative interactions among loosely coupled autonomous constituents to adaptively fulfill...
 

PDF

Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations (with G. Koliadis), Faculty of Informatics - Papers (2007)
We introduce the notion of an actor eco-system a framework that addresses the design-time requirements...
 

PDF

Auditing Business Process Compliance (with G. Koliadis), Faculty of Informatics - Papers (2007)
Compliance issues impose significant management and reporting requirements upon organizations.We present an approach to enhance...
 

PDF

Combining i* and BPMN for Business Process Model Lifecycle Management (with G. Koliadis, A. Vranesevic, M. Bhuiyan, and A. Krishna), Faculty of Informatics - Papers (2007)
The premise behind ‘third wave’ Business Process Management (BPM1) is effective support for change at...
 

PDF

Process Discovery from Model and Text Artefacts (with G. Koliadis and A. Cheung), Faculty of Informatics - Papers (2007)
Modeling is an important and time consuming part of the Business Process Management life-cycle. An...
 

PDF

Relating business process models to goal-oriented requirements models in KAOS (with G. Koliadis), Faculty of Informatics - Papers (2007)
Business Process Management (BPM) has many anticipated benefits including accelerated process improvement, at the operational...
 

PDF

Verifying Semantic Business Process Models (with G. Koliadis), Faculty of Informatics - Papers (2007)
Process inter-operation is characterized as cooperative interactions among loosely coupled autonomous constituents to adaptively fulfill...
 

PDF

Adopting Default Reasoning in Service Composition Context (with Z. Lu and P. Hyland), Faculty of Informatics - Papers (2006)
Web Service composition is the ability of one business to provide value-added services to its...
 

PDF

Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs (with A. Dasgupta and A. Krishna), Faculty of Informatics - Papers (2006)
Agent-Oriented conceptual modelling notations are highly effective in representing requirements from an intentional stance and...
 

PDF

Extending Semantic Web Service Description by Service Assumption (with Z. Lu, S. Li, and P. Hyland), Faculty of Informatics - Papers (2006)
Unlike a traditional software module, which runs within a predictable domain, Web Services are autonomous...
 

PDF

HCLP Based Service Composition (with Y. Guan and Z. Lu), Faculty of Informatics - Papers (2006)
A key impediment to the widespread adoption of web services is the relatively limited set...
 

PDF

Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams (with M. M. Bhuiyan, M. M. Islam, and A. Krishna), Faculty of Informatics - Papers (2006)
Agent--oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase...
 

PDF

Co-evolution of i* Models and 3APL Agents (with A. Krishna and Y. Guan), Faculty of Informatics - Papers (2006)
Agent-Oriented Conceptual Modelling (AOCM), as exemplified by the i* notation [9], represents an interesting approach...
 

PDF

Viewpoints Merging via Incrementally Elicited Ranked Structures (with Q. Lin), Faculty of Informatics - Papers (2006)
Handling inconsistent requirements specifications remains a difficult challenge for the requirements engineering community. This paper...
 

PDF

Using Assumptions in Service Composition Context (with Z. Lu, P. Hyland, and Y. Guan), Faculty of Informatics - Papers (2006)
Service composition aims to provide the efficient and accurate model of a service, based on...
 

PDF

Using constraint hierarchies to support QoS-guided service composition (with Y. Guan and Z. Lu), Faculty of Informatics - Papers (2006)
A key impediment to the widespread adoption of web services is the is the relatively...
 

PDF

A Combined Approach for Supporting the Business Process Model Lifecycle (with G. Koliadis, A. Vranesevic, M. Bhuiyan, and A. Krishna), Faculty of Informatics - Papers (2006)
Business processes evolve throughout their lifecycle of change. Business Process Modeling (BPM2) notations such as...
 

PDF

Practical Application of Support-Based Distributed Search (with P. Harvey and C. F. Chang), Faculty of Informatics - Papers (2005)
Algorithms for Distributed Constraint Satisfaction Problems have tended to mirror existing non-distributed global-search or local-search...
 

PDF

Executable specifications for agent oriented conceptual modelling (with Y. Guan), Faculty of Informatics - Papers (2005)
Agent-oriented conceptual modelling (AoCM) notations such as i* have received considerable recent attention as a...
 

PDF

Hierarchic decomposition in agent oriented conceptual modelling (with R. B. Brown), Faculty of Informatics - Papers (2004)
Software development processes requires a thorough understanding of stakeholder objectives and requirements. Product-centrism is an...
 

PDF

Co-evolution of complementary formal and informal requirements (with A. Krishna and S. A. Vilkomir), Faculty of Informatics - Papers (2004)
Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation by E. Yu (1995)), represents...
 

PDF

Combining agent-oriented conceptual modelling with formal methods (with S. A. Vilkomir and A. Krishna), Faculty of Informatics - Papers (2004)
Agent-oriented conceptual modelling notations such as i* have received considerable recent attention as a useful...
 

PDF

Reducing redundancy in the hypertree decomposition scheme (with P. Harvey), Faculty of Informatics - Papers (2003)
Hypertree decomposition is a powerful technique for transforming near-acyclic CSPs into acyclic CSPs. Acyclic CSPs...
 

PDF

Web agents for requirements consistency management (with Z. Chen), Faculty of Informatics - Papers (2003)
Inconsistency handling is an aspect of requirements engineering that has attracted considerable research attention. We...
 

PDF

Formal tools for managing inconsistency and change in RE, Faculty of Informatics - Papers (2000)
Dealing with inconsistencies and change in requirements engineering (RE) is known to be a difficult...