Existing architectures for multiagent systems emphasize low-level messaging-related considerations. As a result, the programming abstractions they provide are also low level. In recent years, commitments have been applied to support flexible interactions among autonomous agents. We present a layered multiagent system architecture based on commitments. In this architecture, agents are the compon...

The vision of Internet of Things (IOT) promises a prosperous future for grain storage quality control by integrating all sensors deployed in the individual grain bins into a global grain storage system. However, since the data format and the data semantic of the monitoring systems are not unified, heterogeneous systems equipped with sensor networks are pending integration and have difficulty in...

In this paper we describe the IOP model of interoperation and its use in developing interactive applications. Using this as a basis we have developed the IMaude library of modules for defining interactive applications based on the Rewriting Logic language Maude. This is an important step towards making Maude specifications more accessible to non-experts, and thus advancing the possibility for f...

Rule languages and rule systems are widely used in business applications including computer-aided training, diagnostic fact finding, compliance monitoring, and process control. However, there is little interoperability between current rule-based systems. Interoperation is one of the main goals of the Semantic Web, and developing a language for sharing rules is often seen as a key step in reachi...

Recent efforts focus on representing human/organizational knowledge in a format suitable for machine processing to enable systematic knowledge sharing among collaborating business organizations. Different types of business rules can be used to capture multi-faceted business policies, strategies, regulations and constraints. A structure of such rules can model business procedures and processes. ...

The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for systems to interoperate indirectly across network routes. Such interoperation has been shown to provide the potential for circuitous paths across a network that violate security. In this paper we propose a constraint-based framew...

Recently the number of autonomous agents and multiagent systems (MAS) that have been developed by di erent developers has increased. Despite e orts for the creation of standards (eg. in communication languages, registration protocols etc.), it is clear that at least in the near term heterogeneous agents and MASs will be prevalent. Therefore, mechanisms that allow agents and/or MASs to interoper...

One of the main goals of the Semantic Web initiative [3] is to extend the current Web technology to allow for the development of intelligent agents, which can automatically and unambiguously process the information available on millions of web pages. It has been recognized very early in the development of the Semantic Web that rules are essential for the Web3 and for Semantic Web applications—e...

Generics allow programmers to design algorithms and data structures that operate in the same way regardless of the data used by abstracting over data types. Generics are useful as they improve the programmer’s productivity by raising the level of abstraction, which in turn leads to reducing code duplication and uniform interfaces. However, as data on the low-level comes in different shapes and ...

This report documents the program and the outcomes of the Dagstuhl Seminar 14412 “Globalizing Domain-Specific Languages” held in October 2014. Complex, data-intensive, cyber-physical, cloud-based etc. systems need effective modeling techniques, preferably based on DSLs to describe aspects and views. Models written in heterogeneous languages however need to be semantically compatible and their s...