Detecting Ontological Conflicts in Protocols between Semantic Web Services

The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms of message sequences and the type of data being exchanged. Since web services are developed largely in an uncoordinated way, different services often use independently developed ontologies for the same domain instead of adhering to a single ontology as standard. In this work we investigate the approaches that can be taken by the server to verify the possibility to reach a state with semantically inconsistent results during the execution of a protocol with a client, if the client ontology is published. Often database is used to store the actual data along with the ontologies instead of storing the actual data as a part of the ontology description. It is important to observe that at the current state of the database the semantic conflict state may not be reached even if the verification done by the server indicates the possibility of reaching a conflict state. A relational algebra based decision procedure is also developed to incorporate the current state of the client and the server databases in the overall verification procedure

Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements

Abstract. We propose an approach for incremental modeling of composite Web services. The technique takes into consideration both the functional and nonfunctional requirements of the composition. While the functional requirements are described using symbolic transition systems—transition systems augmented with state variables, function invocations, and guards; non-functional requirements are quantified using thresholds. The approach allows users to specify an abstract and possibly incomplete specification of the desired service (goal) that can be realized by selecting and composing a set of pre-existing services. In the event that such a composition is unrealizable, i.e. the composition is not functionally equivalent to the goal or the non-functional requirements are violated, our system provides the user with the causes for the failure, that can be used to appropriately reformulate the functional and/or non-functional requirements of the goal specification.

Towards a Unifying View of QoS-Enhanced Web Service Description and Discovery Approaches

The number of web services increased vastly in the last years. Various providers offer web services with the same functionality, so for web service consumers it is getting more complicated to select the web service, which best fits their requirements. That is why a lot of the research efforts point to discover semantic means for describing web services taking into account not only functional characteristics of services, but also the quality of service (QoS) properties such as availability, reliability, response time, trust, etc. This motivated us to research current approaches presenting complete solutions for QoS enabled web service description, publication and discovery. In this paper we present comparative analysis of these approaches according to their common principals. Based on such analysis we extract the essential aspects from them and propose a pattern for the development of QoS-aware service-oriented architectures

Fuzzy Optimised Power Generation from Moving Vehicles

Abstract In our Paper regenerative power system for electric motorcycles and cars that performs regenerative energy recovery from the axle of the vehicle based on fuzzy logic control for a boost converter is used to boost (maintain) the voltage level. Autonomous vehicles have potential applications in many fields, such as replacing humans in hazardous environments, conducting military missions, and performing routine tasks for industry. A constant regenerative current control scheme is proposed, thereby providing improved performance and high energy recovery efficiency at minimum cost. Drivers typically respond quickly to sudden changes in their environment. While other control techniques may be used to control a vehicle, fuzzy logic has certain advantages in this area; one of them is its ability to incorporate human knowledge and experience, via language, into relationships among the given quantities

An Ontology Based Approach Towards A Universal Description Framework for Home Networks

Current home networks typically involve two or more machines sharing network resources. The vision for the home network has grown from a simple computer network, to every day appliances embedded with network capabilities. In this environment devices and services within the home can interoperate, regardless of protocol or platform. Network clients can discover required resources by performing network discovery over component descriptions. Common approaches to this discovery process involve simple matching of keywords or attribute/value pairings. Interest emerging from the Semantic Web community has led to ontology languages being applied to network domains, providing a logical and semantically rich approach to both describing and discovering network components. In much of the existing work within this domain, developers have focused on defining new description frameworks in isolation from existing protocol frameworks and vocabularies. This work proposes an ontology-based description framework which takes the ontology approach to the next step, where existing description frameworks are in- corporated into the ontology-based framework, allowing discovery mechanisms to cover multiple existing domains. In this manner, existing protocols and networking approaches can participate in semantically-rich discovery processes. This framework also includes a system architecture developed for the purpose of reconciling existing home network solutions with the ontology-based discovery process. This work also describes an implementation of the approach and is deployed within a home-network environment. This implementation involves existing home networking frameworks, protocols and components, allowing the claims of this work to be examined and evaluated from a ‘real-world’ perspective

A Framework for Semantic Web Services Discovery

This paper describes a framework for ontology-based flexible discovery of Semantic Web services. The proposed approach relies on user-supplied, context-specific mappings from an user ontology to relevant domain ontologies used to specify Web services. We show how a user's query for a Web service that meets certain selection criteria can be transformed into queries that can be processed by a matchmaking engine that is aware of the relevant domain ontologies and Web services. We also describe how user-specified preferences for Web services in terms of non-functional requirements (e.g., QoS) can be incorporated into the Web service discovery mechanism to generate a partially ordered list of services that meet userspecified functional requirements

An abstract architecture for virtual organizations: The THOMAS approach

Today, the need for architectures and computational models for large-scale open multi-agent systems is considered to be a key issue for the success of agent technology in real-world scenarios. This paper analyzes the significant unsolved problems that must be taken into account in order to develop real, open multi-agent systems. It identifies requirements and related open issues, discusses how some of these requirements have been tackled by current technologies, and explains how the THOMAS architecture is able to give support to these open issues. This paper also describes the THOMAS abstract architecture and computational model for large-scale open multi-agent systems based on a service-oriented approach that specifically addresses the design of virtual organizations. An application example for the management of a travel agency system, which demonstrates the new features of the proposal, is also presented. © 2010 Springer-Verlag London Limited.This work is supported by the Spanish government grants CONSOLIDER-INGENIO 2010 CSD2007-00022, TIN2008-04446 and TIN2009-13839-C03-01 and by the GVA project PROMETEO 2008/051.Argente Villaplana, E.; Botti Navarro, VJ.; Carrascosa Casamayor, C.; Giret Boggino, AS.; Julian Inglada, VJ.; Rebollo Pedruelo, M. (2011). An abstract architecture for virtual organizations: The THOMAS approach. Knowledge and Information Systems. 29(2):379-403. doi:10.1007/s10115-010-0349-1S379403292Agent-Oriented-Software (2004) JACK intelligent agents: JACK teams manual, Release 4.1Aguero J, Rebollo M, Carrascosa C, Julian V (2009) Mdd-based agent-oriented software engineering for ubiquitous deployment. In: The sixth annual international conference MobiQuitous 2009Albers M, Jonker C, Karami M, Treur J (2004) Agent models and different user ontologies for an electronic market place. Knowl Inf Syst 6(1): 1–41Argente E, Criado N, Botti V, Julian V (2008) Norms for agent service controlling. In: EUMAS, pp 1–15Argente E, Giret A, Valero S, Julian V, Botti V (2004) Survey of MAS Methods and Platforms focusing on organizational concepts. Frontiers in Artificial Intelligence and Applications, pp 309–316Argente E, Julian V, Botti V (2006) Multi-agent system development based on organizations. Electron Notes Theor Comput Sci 150: 55–71Argente E, Julian V, Botti V (2008) Mas modelling based on organizations. In: 9th international workshop on agent oriented software engineering (AOSE08). SpringerArgente E, Palanca J, Aranda G, Julian V, Botti V, García-Fornes A, Espinosa A (2007) Supporting agent organizations. In: Proceedings of CEEMAS’07’, pp 236–245Barman R, Tennenholtz M (1996) On partially controlled multi-agent systems. J Artif Intell Res 4: 477–507Baumer G, Breugst M, Choy S, Magedanz T (2000) Grasshopper: A universal agent platform based on OMG MASIF and FIPA standards. In: Agents Technology in EuropeBellifemine F, Poggi A, Rimassa G (2001) Developing multi-agent systems with JADE. In: Castelfranchi C, Lesperance Y (eds) Intelligent agents VII 1571’, pp 89–103Boella G, Caire P, der Torre LV (2009) Norm negotiation in online multi-player games. Knowl Inf Syst 18(2): 137–156Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Sichman J, Vazquez-Salceda J (2006) Coordination, organizations, institutions and norms in multi-Agent systems, vol 3913Brena RF, Aguirre JL, Chesnevar CI, Ramirez E, Garrido L (2007) Knowledge and information distribution leveraged by intelligent agents. Knowl Inf Syst (KAIS), Springer 12(2):203–227Broersen J, Dignum F, Dignum V, Meyer J (2004) Designing a deontic logic for deadlines. In: Proceedings of 7th international workshop on deontic logic in computer scienceBrogi A, Corfini S, Popescu R (2003) Composition-oriented service discovery. In: Proceedings of 5th international conference on autonomous agents and multi-agent systems (AAMAS)Caceres C, Fernandez A, Ossowski S, Vasirani M (2006), Role-based service description and discovery. In: International joint conference on autonomous agents and multi-agent systemsCarrascosa C, Giret A, Julian V, Rebollo M, Argente E, Botti V (2009) Service oriented multi-agent systems: an open architecture. In: Autonomous Agents and Multiagent Systems (AAMAS), pp 1291–1292Cicortas A, Iordan V (2006) A multi-agent framework for execution of complex applications. Acta Polytechnica Hungarica, J Appl Sci 3(3): 97–119Criado N, Julian V, Botti V, Argente E (2009) A Norm-based Organization Management System. In: Proceedings of COIN’09, pp 1–16Dang J, Hungs M (2006) Concurrent multiple-issue negotiation for internet-based services. In: IEEE internet computing number vol 10–6, pp 42–49de Broek E, Jonker C, Sharpanskykh A, Treur J, Yolum P (2005) Formal modeling and analysis of organizations. In: AAMAS Workshops, vol 3913 of Lecture Notes in Computer Science, Springer, pp 18–34Dignum V, Dignum F (2006) A landscape of agent systems for the real world, Technical report 44-cs-2006-061, Institute of Information and Computing Sciences, Utrecht UniversityDignum V, Dignum F (2007) A logic for agent organization, In: ‘Proc. FAMAS@Agents’007’Dignum V, Meyer J, Weigand H, Dignum F (2002) An organization-oriented model for agent societies. In: International workshop on regulated agent-based social systems: theory and applications (RASTA’02) pp 31–50Dignum V, Vazquez-Salceda J, Dignum F (2005) Omni: Introducing social structure, norms and ontologies into agent organizations, LNAI 3346Erol, K. (1996) Cybele Agent Infrastructure Users guide, http://www.opencybele.org/Escriva M, Palanca J, Aranda G, García-Fornes A, Julian V, Botti V (2006) A Jabber-based multi-agent system platform. In: Proceedings of the fifth international joint conference on autonomous agents and multiagent systems (AAMAS06), ACM Press, pp 1282–1284Esteva M, Rodriguez-Aguilar J, Sierra C, Arcos J, Garcia P (2001) On the formal specification of electronic institutions. Lecture notes in artificial intelligence 1991, Springer, pp 126–147Bellifemine F, Caire G, Greenwood D (2007) Developing multi-agent systems with JADE. Wiley, LondonFerber J, Gutknecht O (1998) A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of the third international conference on multi-agent systems (ICMAS’98). IEEE Computer Society, pp 128–135Ferber J, Gutknecht O, Michel F (2004) From agents to organizations: an organizational view of multi-agent systems. In: Giorgini P, Muller J, Odell J (eds) Agent-oriented software engineering VI, Vol LNCS 2935, pp 214–230Gasser L (2001) Perspectives on organizations in multi-agent systems. Springer New York, Inc., New York, NY, USA, pp 1–16Giorgini P, Kolp M, Mylopoulos J (2006) Multi-agent architectures as organizational structures. Auton Agents Multi-Agent Syst 13(1): 3–25Giret A, Julian V, Rebollo M, Argente E, Carrascosa C, Botti V (2010) An open architecture for service-oriented virtual organizations. In: PROMAS 2009 Post-Proceedings, Springer, pp 1–15Greenwood D, Calisti M (2004) Engineering web service—agent integration. In: IEEE international conference on systems, man and cybernetics, number vol 2, pp 1918–1925Greenwood D, Lyell M, Mallya A, Suguri H (2007) The IEEE FIPA approach to integrating software agents and web services. In: AAMAS ’07: proceedings of the 6th international joint conference on autonomous agents and multiagent systems, ACM pp 1–7Gutknecht O, Ferber J (1997) Madkit: organizing heterogeneity with groups in a platform for multiple multi-agent systems. In: Technical Report 97188 LIRMMHahn C, Nesbigall S, Warwas S, Zinnikus I, Fischer K, Klusch M (2008) Integration of multiagent systems and semantic web services on a platform independent level, In: Proceedings of the 2008 IEEE/WIC/ACM international conference on web intelligence and intelligent agent technology, IEEE Computer Society, Washington, DC, USA, pp 200–206Heep M (2006) Semantic web and semantic web services. In: IEEE internet computing, number vol 10–2, pp 85–88Horling B, Lesser V (2004) A survey of multiagent organizational paradigms. Knowl Eng Rev 19: 281–316Horling B, Lesser V (2005) Using ODML to model multi-agent organizations. In: IAT05: Proceedings of the IEEE/WIC/ACM international conference on intelligent agent technologyHowden N, Rönnquist R, Hodgson A, Lucas A (2001) JACK intelligent agents-summary of an agent infrastructure. In: Proceedings of the 5th ACM international conference on autonomous agentsHubner J, Sichman J, Boissier O (2006) S-Moise+: A middleware for developing organised multi-agent systems. In: International workshop on organizations in multi-agent systems vol 3913 of LNCS pp 64–78Huhns M, Singh M (2005) Service-oriented computing: key concepts and principles. IEEE Internet Comput 9(1): 75–81Jennings NR, Wooldridge M (2002) Agent-oriented software engineering. Handbook of Agent TechnologyJennings, N, Wooldridge, M (eds) (1998) Agent technology. Foundations, applications and markets. Springer, New York. ISBN 3-540-63591-2Klusch M, Fries B, Sycara K (2006) Automated semantic web service discovery with owls-mx. In: Proceedings of 5th international conference on autonomous agents and multi-agent systems (AAMAS). Hakodate, JapanLopez F, Luck M, d’Inverno M (2006) A normative framework for agent-based systems. Comput Math Organ Theor 12: 227–250Luck M, McBurney P (2008) Computing as interaction: agent and agreement technologies. In: IEEE SMC conference on distributed human-machine systems, pp 1–6Luck M, McBurney P, Shehory O, Willmott S (2005) Agent technology: computing as interaction (A roadmap for agent based computing), AgentLinkMao X, Yu E (2005) Organizational and social concepts in agent oriented software engineering. In:AOSE IV, vol 3382 of lecture notes in artificial intelligence, pp 184–202Negri A, Poggi A, Tomaiuolo M, Turci P (2006) Dynamic grid tasks composition and distribution through agents: research articles. Concurr Comput Pract Exper 18(8): 875–885Nguyen NT, Katarzyniak RP (2009) Actions and social interactions in multi-agent systems. Knowl Inf Syst 18(2): 133–136Nguyen T, Kowalczyk R (2005) Ws2jade: integrating web service with jade agents, technical report SUTICT-TR2005.03, Centre for Intelligent Agents and Multi-Agent Systems, Swinburne University of TechnologyOdell J, Nodine M, Levy R (2005) A metamodel for agents, roles, and groups. In: James Odell JM, Giorgini P (eds) Agent-Oriented Software Engineerin (AOSE) V. Lecture notes in computer science. SpringerPathak J, Koul N, Caragea D, Honavar VG (2005) A framework for semantic web services discovery. In: WIDM ’05: proceedings of the 7th annual ACM international workshop on Web information and data management, ACM, pp 45–50Piunti M, Ricci A, Santi A (2009) Soa/ws applications using cognitive agents working in cartago environments. In: Proceedings of 10th joint conference AI*IA TABOO From Objects to Agents (WOA 2009)Poggi A, Tomaiuolo M, Turci P (2007) An agent-based service oriented architecture. In: 8th AI*IA/TABOO joint workshop “from objects to agents”: Agents and Industry, pp 157–165Rebollo M, Giret A, Argente E, Carrascosa C, Corchado J, Fernandez A, Julian V (2009) On the road to an abstract architecture for open Virtual organizations. In: 10th international work-conference on artificial neural networks, vol 5517 of LNCS, pp 642–649Ricci A, Viroli M, Omicini A (2008) The A&A programming model and technology for developing agent environments in MAS. In: programming multi-agent systems, vol 4908 of LNCS, Springer, pp 89–106Ricci A, Viroli M, Piancastelli G (2007) Simpa: A simple agent-oriented java extension for developing concurrent applications. In: ‘LADS’, vol 5118 of Lecture Notes in Computer Science, Springer, pp 261–278Sensoy M, Pembe C, Zirtiloglu H, Yolum P, Bener A (2007) Experience-based service provider selection in agent-mediated e-commerce. In: Engineering applications of artificial intelligence, vol 3, pp 325–335Shafiq MO, Ali A, Ahmad HF, Suguri H (2005) Agentweb gateway—a middleware for dynamic integration of multi agent system and web services framework. In: 14th IEEE international workshops on enabling technologies (WETICE 2005), 13–15 June 2005, Linköping, Sweden, IEEE Computer Society, pp 267–270Sycara K, Paolucci M, Soudry J, Srinivasan N (2004) Dynamic discovery and coordination of agent-based semantic web services. In: IEEE internet computing number, vol 8–3, pp 66–73Sycara K, Widoffand S, Klusch M, Lu J (1982) Larks: dynamic matchmaking among heterogeneous software agents in cyberspace. J Auton Agents Multi-Agent Syst 5(2): 173–203Tapia DI, Rodríguez S, Bajo J, Corchado JM (2009) FUSION@, a SOA-based multi-agent architecture. In: International symposium on distributed computing and artificial intelligence, DCAI 2008, University of Salamanca, Spain, 22th–24th October 2008, vol 50 of Advances in soft computing. Springer, pp 99–107Val ED, Criado N, Carrascosa C, Julian V, Rebollo M, Argente E, Botti V (2010) THOMAS: a service-oriented framework for virtual organizations. In: 9th international conference on autonomous agents and multiagent systems (AAMAS 2010)Varga LZ, Hajnal Á (2003) Engineering web service invocations from agent systems In: 3rd international central and eastern european conference on multi-agent systems, CEEMAS 2003 vol LNCS 2691, pp 626–635Zambonelli F, Parunak H (2002) From design to intention: signs of a revolution. In: Proceedings of 1st international joint conference on autonomous agents and multiAgent systems, pp 455–456Zinnikus I, Hahn C, Fischer K (2008) A model-driven, agent-based approach for the integration of services into a collaborative business process. In: AAMAS ’08: 7th international joint conference on autonomous agents and multiagent systems, pp 241–24