A commentary on standardization in the Semantic Web, Common Logic and MultiAgent Systems

Given the ubiquity of the Web, the Semantic Web (SW) offers MultiAgent Systems (MAS) a most wide-ranging platform by which they could intercommunicate. It can be argued however that MAS require levels of logic that the current Semantic Web has yet to provide. As ISO Common Logic (CL) ISO/IEC IS 24707:2007 provides a firstorder logic capability for MAS in an interoperable way, it seems natural to investigate how CL may itself integrate with the SW thus providing a more expressive means by which MAS can interoperate effectively across the SW. A commentary is accordingly presented on how this may be achieved. Whilst it notes that certain limitations remain to be addressed, the commentary proposes that standardising the SW with CL provides the vehicle by which MAS can achieve their potential.</p

Improving automation standards via semantic modelling: Application to ISA88

Standardization is essential for automation. Extensibility, scalability, and reusability are important features for automation software that rely in the efficient modelling of the addressed systems. The work presented here is from the ongoing development of a methodology for semi-automatic ontology construction methodology from technical documents. The main aim of this work is to systematically check the consistency of technical documents and support the improvement of technical document consistency. The formalization of conceptual models and the subsequent writing of technical standards are simultaneously analyzed, and guidelines proposed for application to future technical standards. Three paradigms are discussed for the development of domain ontologies from technical documents, starting from the current state of the art, continuing with the intermediate method presented and used in this paper, and ending with the suggested paradigm for the future. The ISA88 Standard is taken as a representative case study. Linguistic techniques from the semi-automatic ontology construction methodology is applied to the ISA88 Standard and different modelling and standardization aspects that are worth sharing with the automation community is addressed. This study discusses different paradigms for developing and sharing conceptual models for the subsequent development of automation software, along with presenting the systematic consistency checking methodPeer ReviewedPostprint (author's final draft

Applying the business process and practice alignment meta-model: Daily practices and process modelling

Background: Business Process Modelling (BPM) is one of the most important phases of information system design. Business Process (BP) meta-models allow capturing informational and behavioural aspects of business processes. Unfortunately, standard BP meta-modelling approaches focus just on process description, providing different BP models. It is not possible to compare and identify related daily practices in order to improve BP models. This lack of information implies that further research in BP meta-models is needed to reflect the evolution/change in BP. Considering this limitation, this paper introduces a new BP meta-model designed by Business Process and Practice Alignment Meta-model (BPPAMeta-model). Our intention is to present a meta-model that addresses features related to the alignment between daily work practices and BP descriptions. Objectives: This paper intends to present a meta-model which is going to integrate daily work information into coherent and sound process definitions. Methods/Approach: The methodology employed in the research follows a design-science approach. Results: The results of the case study are related to the application of the proposed meta-model to align the specification of a BP model with work practices models. Conclusions: This meta-model can be used within the BPPAM methodology to specify or improve business processes models based on work practice descriptions

A survey on quality of service support on middelware-based distributed messaging systems used in multi agent systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-19934-9_10Messaging systems are widely used in distributed systems to hide the details of the communications mechanism to the multi agents systems. However, the Quality of Service is treated in different way depending on the messaging system used. This article presents a review and further analysis of the quality of service treatment in the mainly messaging systems used in distributed multi agent systems. The review covers the issues related to the purpose of the functions provided and the scope of the quality of service offered by every messaging system. We propose ontology for classifying and decide which parameters are relevant to the user. The results of the analysis and the ontology can be used to select the most suitable messaging system to distributed multi agent architecture and to establish the quality of service requirements in a distributed system.The study 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 and European FEDER found. CICYT: MICINN: DPI2008-06737-C02-01/02.Poza-Lujan, J.; Posadas-Yagüe, J.; Simó Ten, JE. (2011). A survey on quality of service support on middelware-based distributed messaging systems used in multi agent systems. En International Symposium on Distributed Computing and Artificial Intelligence. Springer. 77-84. https://doi.org/10.1007/978-3-642-19934-9_10S7784Gaddah, A., Kunz, T.: A survey of middleware paradigms for mobile computing. Technical Report SCE-03-16. Carleton University Systems and Computing Engineering (2003)Foundation for Intelligent Physical Agents, http://www.fipa.org/Java Message Service Specification, http://java.sun.com/products/jms/docs.htmlCommon Object Request Broker Architecture, http://www.corba.org/Data Distribution Service, http://portals.omg.org/dds/Java Agent DEvelopment Framework, http://jade.tilab.com/Agent Oriented Software Pty Ltd., JACK Intelligent Agents: User Guide (1999)Nwana, H., Ndumu, D., Lee, L., Collis, J.: ZEUS: A tool-kit for building distributed multi-agent systems. Applied Artifical Intelligence Journal 13(1), 129–186 (1999)Perdikeas, M.K., Chatzipapadopoulos, F.G., Venieris, I.S., Marino, G.: Mobile Agent Standards and Available Platforms. Computer Networks Journal, Special Issue on ’Mobile Agents in Intelligent Networks and Mobile Communication Systems’ 31(10) (1999)Perrone, P.J., Chaganti, K.: J2EE Developer’s Handbook. Sam’s Publishing, Indianapolis (2003)Apache ActiveMQ, http://activemq.apache.org/IBM WebSphere MQSeries, http://mqseries.net/Object Management Group, http://www.omg.org/RTI Data Distribution Service. RTI corp., http://www.rti.com/OpenSplice DDS. PrismTech Ltd., http://www.prismtech.comVogel, A., Kerherve, B., von Bochmann, G., Gecsei, J.: Distributed Multimedia and QoS: A Survey. IEEE Multimedia 2(2), 10–19 (1995)Crawley, E., Nair, R., Rajagopalan, B.: RFC 2386: A Framework for QoS-based Routing in the Internet. IETF Internet Draft, 1–37 (1998)Foundation for Intelligent Physical Agents. FIPA Quality of Service Ontology Specification. Doc: SC00094A (2002)Sun Microsystems, Inc. Java(TM) Message Service Specification Final Release 1.1 (2002)Object Management Group (OMG). The Common Object Request Broker Architecture and Specification. CORBA 2.4.2 (2001

Knowledge web: realising the semantic web... all the way to knowledge-enhanced multimedia documents

The semantic web and semantic web services are major efforts in order to spread and to integrate knowledge technology to the whole web. The Knowledge Web network of excellence aims at supporting their developments at the best and largest European level and supporting industry in adopting them. It especially investigates the solution of scalability, heterogeneity and dynamics obstacles to the full development of the semantic web. We explain how Knowledge Web results should benefit knowledge-enhanced multimedia applications

Software modelling languages: A wish list

© 2015 IEEE. Contemporary software engineering modelling tends to rely on general-purpose languages, such as the Unified Modeling Language. However, such languages are practice-based and seldom underpinned with a solid theory-be it mathematical, ontological or concomitant with language use. The future of software modelling deserves research to evaluate whether a language base that is compatible with these various elements as well as being philosophically coherent offers practical advantages to software developers

How to improve Kline and Rosenberg's chain-linked model of innovation: building blocks and diagram-based languages

article accessible aussi en ligne via le lien suivant : www.cairn.info/revue-journal-of-innovation-economics-2014-3-page-59.htm.International audienceThe "hierarchical and linear model of innovation" (HLMI) is often used to describe how innovations are produced. HLMI presents several shortcomings and one possible way of overcoming them is to consider innovations from a system perspective. In order to achieve this, this article uses Kline and Rosenberg's chain-linked model (CLM, 1985) as a starting point and builds up on it, proposing an improvement rendering CLM more coherent with its systemic bases. The proposed improvement suggests conceiving innovation systems as associations of building blocks and using contemporary engineering diagram-based languages to display them. Nevertheless, this improvement does not challenge the dynamic features of innovation system

An agent-based approach to improving resource allocation in the Dutch youth health care sector

We show how agent-based simulation is used for analyzing different queuing strategies in the youth health care sector. The simulation model represents an authentic business case and is parameterized with actual market data. We discuss the differences between four queuing strategies which are based on push/pull allocation and centralized/decentralized queuing strategies. The model incorporates, among others, a withdrawal and return mechanism, a non-stationary Poisson arrival process, and a preference algorithm to include a care provider’s case preference. The investigated system accommodates extensive waiting lines which are currently solely judged on their length. We have identified that performance measurement in youth health care should not be focused on queue lengths alone, but should include a case difficulty parameter as well. The simulation results, together with contextual data obtained from stakeholder interviews, indicate that a push strategy with a centralized queue suites the sector best. Most related research in health care focuses on queuing theory which fails to address the complexity of the case. Our simulation approach incorporates additional complexities of the case at hand which turn out to be relevant for the queuing strategy decision. We validate the model and strategies by comparison with real market data and field expert discussions