Results 1 - 10
of
47
Modelling control objectives for business process compliance
- In Proc. 5th International Conference on Business Process Management
, 2007
"... Abstract. Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate h ..."
Abstract
-
Cited by 112 (21 self)
- Add to MetaCart
(Show Context)
Abstract. Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.
Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework
- ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
, 2008
"... SCIFF is a new abductive logic programming proof-procedure for reasoning with expectations in dynamic environments. SCIFF is also the main component of a framework thought to specify and verify interaction in open agent societies. In this paper we present the declarative and operational semantics of ..."
Abstract
-
Cited by 76 (53 self)
- Add to MetaCart
SCIFF is a new abductive logic programming proof-procedure for reasoning with expectations in dynamic environments. SCIFF is also the main component of a framework thought to specify and verify interaction in open agent societies. In this paper we present the declarative and operational semantics of SCIFF, its termination, soundness and completeness results, and some sample applications to demonstrate its use in the multi-agent domain.
The Journey to Business Process Compliance
, 2008
"... It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is beca ..."
Abstract
-
Cited by 42 (21 self)
- Add to MetaCart
(Show Context)
It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This chapter will provide a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The chapter begins by defining the space for business process compliance and the eco-system for ensuring that process are compliant. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating a business. The central part of the chapter focuses on a logic based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures. 1
Computational Logics and Agents — A Roadmap of Current Technologies and Future Trends
- Computational Intelligence
"... The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and co ..."
Abstract
-
Cited by 27 (8 self)
- Add to MetaCart
(Show Context)
The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation. Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied. We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas. Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.
As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007
, 2009
"... Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following ..."
Abstract
-
Cited by 16 (11 self)
- Add to MetaCart
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following the previous survey by Frühwirth (1998). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions and applications.
Ambient Intelligence using KGP Agents
- In Proceedings of the 2nd European Symposium for Ambient Intelligence, Lecture Notes in Artificial Intelligence
, 2004
"... Abstract. We investigate the application of a logical model of agency, known as the KGP model, to develop agents for ambient intelligence ap-plications. Using a concrete scenario, we illustrate how the logical formal-ism employed by a KGP agent allows a person to access the surround-ing ambient thro ..."
Abstract
-
Cited by 14 (6 self)
- Add to MetaCart
(Show Context)
Abstract. We investigate the application of a logical model of agency, known as the KGP model, to develop agents for ambient intelligence ap-plications. Using a concrete scenario, we illustrate how the logical formal-ism employed by a KGP agent allows a person to access the surround-ing ambient through the agent in a transparent manner. We evaluate our claims by implementing the resulting interactions in PROSOCS, a prototype multi-agent systems platform that allows KGP agents to be deployed as components of ambient intelligence applications. 1
The SOCS computational logic approach for the specification and verification of agent societies
- In Corrado Priami and Paola Quaglia, editors, Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers, volume 3267 of Lecture Notes in Artificial Intelligence
, 2005
"... Abstract. This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declara ..."
Abstract
-
Cited by 13 (9 self)
- Add to MetaCart
(Show Context)
Abstract. This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declarative and operational semantics, expressed in terms of abduction. The operational counterpart of the proposed framework has been implemented and integrated in SOCS-SI, a tool that can be used for on-the-fly verification of agent compliance with respect to specified protocols. 1
A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems
, 2005
"... leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in post-graduate research programmes leading to MCom, MA, MSc and PhD degrees. Re-search projects in spatial information processing, connecti ..."
Abstract
-
Cited by 13 (4 self)
- Add to MetaCart
leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in post-graduate research programmes leading to MCom, MA, MSc and PhD degrees. Re-search projects in spatial information processing, connectionist-based information sys-tems, software engineering and software development, information engineering and database, software metrics, distributed information systems, multimedia information systems and information systems security are particularly well supported. The views expressed in this paper are not necessarily those of the department as a whole. The accuracy of the information presented in this paper is the sole responsibil-ity of the authors. Copyright Copyright remains with the authors. Permission to copy for research or teaching pur-poses is granted on the condition that the authors and the Series are given due ac-knowledgment. Reproduction in any form for purposes other than research or teach-ing is forbidden unless prior written permission has been obtained from the authors. Correspondence This paper represents work to date and may not necessarily form the basis for the au-thors ’ final conclusions relating to this topic. It is likely, however, that the paper will ap-pear in some form in a journal or in conference proceedings in the near future. The au-thors would be pleased to receive correspondence in connection with any of the issues raised in this paper, or for subsequent publication details. Please write directly to the authors at the address provided below. (Details of final journal/conference publication venues for these papers are also provided on the Department’s publications web pages:
Crafting the Mind of a PROSOCS Agent
- Applied Artificial Intelligence
, 2006
"... prosocs agents are software agents that are built according to the kgp model of agency. kgp is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind’s reasoning functionalities. The behaviour of the agent is control ..."
Abstract
-
Cited by 13 (0 self)
- Add to MetaCart
prosocs agents are software agents that are built according to the kgp model of agency. kgp is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind’s reasoning functionalities. The behaviour of the agent is controlled by a cycle theory that specifies the agent’s preferred patterns of operation. The implementation of the mind’s generic functionality in prosocs is worked out in such a way so it can be instantiated by the platform for different agents across applications. In this context, the development of a concrete example illustrates how an agent developer might program the generic functionality of the mind for a simple application. 1
P.: Verification of Choreographies During Execution Using the Reactive Event Calculus
- WS-FM 2008. LNCS
, 2009
"... Abstract. This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from Dec-SerFlow as a graphical choreography description language. We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Cal ..."
Abstract
-
Cited by 12 (9 self)
- Add to MetaCart
(Show Context)
Abstract. This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from Dec-SerFlow as a graphical choreography description language. We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Calculus, based on the computational logic SCIFF framework. Our choice enables us to enrich DecSerFlow and the Event Calculus with quantitative time constraints and to model compensation actions. 1
