No subject area
Carbon-centric Computing: IT Solutions for Climate Change (with H. Hasan and T. Spedding), Faculty of Informatics - Papers (2009)
IT has a role to play in the current debate on climate change. The current...
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...
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,...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...