Adding an ontology to a standardized QoS-based MAS middleware

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-02481-8_12In a Multi-Agent system, middleware is one of the components used to isolate control and communications. The use of standards in the implementation of an intelligent distributed system is always advantageous. This paper presents a middleware that provides support to a multi-agent system. Middleware is based on the standard Data Distribution Services (DDS), proposed by Object Management Group (OGM). Middleware organizes information by tree based ontology and provides a set of quality of service policies that agents can use to increase efficiency. DDS provides a set of quality of service policy. Joining quality of service policy and the ontology allows getting many advantages, among others the possibility of to conceal some details of the communications system to agents, the correct location of the agents in the distributed system, or the monitoring agents in terms of quality of service. For modeling the middleware architecture it has used UML class diagrams. As an example it has presented the implementation of a mobile robot navigation system through agents that model behaviors.The MAS architecture described in this article is a part of the coordinated project SIDIRELI: Distributed Systems with Limited Resources. Control Kernel and Coordination. Education and Science Department, Spanish Government. CICYT: MICINN: DPI2008-06737-C02-01/02.Poza-Lujan, J.; Posadas-Yagüe, J.; Simó Ten, JE. (2009). Adding an ontology to a standardized QoS-based MAS middleware. En Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living. Springer. 83-90. doi:10.1007/978-3-642-02481-8_12S8390Coulouris, G., Dollimore, J., Kindberg, T.: Distributed systems, concepts and design, 3rd edn. Addison Wesley, Reading (2001)Hapner, M., Sharma, R., Fialli, J., Stout, K.: JMS specification, vol. 1.1. Sun Microsystems Inc., Santa Clara (2002)Lewis, R.: Advanced Messaging Applications with MSMQ and MQ Series. Que Publishing (1999)OMG. Real-Time Corba Specification version 1.1. Document formal /02-08-02 (2002)FIPA. Specfication. Part 2, Agent Communication Language. Foundation for Intelligent Physical Agents (1997)Vogel, A., Kerherve, B., von Bochmann, G., Gecsei, J.: Distributed Multimedia and QoS: A Survey. IEEE Multimedia 2(2), 10–19 (1995)Smith, B.: Beyond concepts, or: Ontology as reality representation. In: Formal Ontology in Information Systems (FOIS 2004), pp. 73–84 (2004)Gruber, T.R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal Human-Computer Studies 43(5-6), 907–928 (1995)Pardo-Castellote, G.: OMG Data-Distribution Service: architectural overview. In: Proceedings of 23rd International Conference on Distributed Computing Systems Workshops, Providence, USA, vols. 19-22, pp. 200–206 (2003)Object Management Group (OMG). Unified Modeling Language Specification, v1.4.2, ISO/IEC 19501 (2001)Poza, J.L., Posadas, J.I., Simó, J.E.: Distributed agent specification to an Intelligent Control Architecture. In: 6th International Workshop on Practical Applications of Agents and Multiagent Systems, Salamanca (2007)Poza, J.L., Posadas, J.l., Simó, J.E.: QoS-based middleware archi-tecture for distributed control systems. In: International Symposium on Distributed Computing and Artificial Intelligence, Salamanca (2008

Using Event Calculus to Formalise Policy Specification and Analysis

As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement

Distributed Access Control for Web and Business Processes

Middleware influenced the research community in developing a number of systems for controlling access to distributed resources. Nowadays a new paradigm for the lightweight integration of business resources from different partners is starting to take hold – Web Services and Business Processes for Web Services. Security and access control policies for Web Services protocols and distributed systems are well studied and almost standardized, but there is not yet a comprehensive proposal for an access control architecture for business processes. So, it is worth looking at the available approaches to distributed authorization as a starting point for a better understanding of what they already have and what they still need to address the security challenges for business processes

Web Services Support for Dynamic Business Process Outsourcing

Outsourcing of business processes is crucial for organizations to be effective, efficient and flexible. To meet fast-changing market conditions, dynamic outsourcing is required, in which business relationships are established and enacted on-the-fly in an adaptive, fine-grained way unrestricted by geographic distance. This requires automated means for both the establishment of outsourcing relationships and for the enactment of services performed in these relationships over electronic channels. Due to wide industry support and the underlying model of loose coupling of services, Web services increasingly become the mechanism of choice to connect organizations across organizational boundaries. This paper analyzes to which extent Web services support the dynamic process outsourcing paradigm. We discuss contract -based dynamic business process outsourcing to define requirements and then introduce the Web services framework. Based on this, we investigate the match between the two. We observe that the Web services framework requires further support for cross - organizational business processes and mechanisms for contracting, QoS management and process-based transaction support and suggest ways to fill those gaps

The Anatomy and Facets of Dynamic Policies

Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events. A key challenge is how to best specify, and give proper meaning to, such dynamic policies. A large number of approaches exist that tackle that challenge, each yielding some important, but unconnected, insight. In this work we synthesise existing knowledge on dynamic policies, with an aim to establish a common terminology, best practices, and frameworks for reasoning about them. We introduce the concept of facets to illuminate subtleties in the semantics of policies, and closely examine the anatomy of policies and the expressiveness of policy specification mechanisms. We further explore the relation between dynamic policies and the concept of declassification.Comment: Technical Report of publication under the same name in Computer Security Foundations (CSF) 201

Semantic-based policy engineering for autonomic systems

This paper presents some important directions in the use of ontology-based semantics in achieving the vision of Autonomic Communications. We examine the requirements of Autonomic Communication with a focus on the demanding needs of ubiquitous computing environments, with an emphasis on the requirements shared with Autonomic Computing. We observe that ontologies provide a strong mechanism for addressing the heterogeneity in user task requirements, managed resources, services and context. We then present two complimentary approaches that exploit ontology-based knowledge in support of autonomic communications: service-oriented models for policy engineering and dynamic semantic queries using content-based networks. The paper concludes with a discussion of the major research challenges such approaches raise