Wieslaw Pawlowski

Modelling mobility with petri hypernets

Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.

Combining and Representing Logical Systems

The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. Following Goguen and Burstall, we adopt the model-theoretic view of logic as captured in the notion of institution and of parchment (a certain algebraic way of presenting institutions).

Semantic interoperability in the Internet of Things: An overview from the INTER-IoT perspective

Abstract The Internet of Things (IoT) idea, explored across the globe, brings about an important issue: how to achieve interoperability among multiple existing (and constantly created) IoT platforms. In this context, in January 2016, the European Commission has funded seven projects that are to deal with various aspects of interoperability in the Internet of Things. Among them, the INTER-IoT project is aiming at the design and implementation of, and experimentation with, an open cross-layer framework and associated methodology to provide voluntary interoperability among heterogeneous IoT platforms. While the project considers interoperability across all layers of the software stack, we are particularly interested in answering the question: how ontologies and semantic data processing can be harnessed to facilitate interoperability across the IoT landscape. Henceforth, we have engaged in a “fact finding mission” to establish what is currently at our disposal when semantic interoperability is concerned. Since the INTER-IoT project is initially driven by two use cases originating from (i) ( e/m ) Health and (ii) transportation and logistics , these two application domains were used to provide context for our search. The paper summarizes our findings and provides foundation for developing methods and tools for supporting semantic interoperability in the INTER-IoT project (and beyond).

Modular system development with pullbacks

Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems.

Semantic Technologies for the IoT - An Inter-IoT Perspective

The Inter-IoT project is aiming at the design and implementation of, and experimentation with, an open cross-layer framework and associated methodology, to provide voluntary interoperability among heterogeneous Internet of Things (IoT) platforms. The project is initially driven by uses cases from two domains: (e/m) Health and transportation and logistics in a port environment. While the Inter-IoT will provide interoperability across the software stack, here, we focus our attention on the semantic interoperability. In this context, we present a concise overview of existing IoT-related semantic approaches, which might either be directly applicable to, or serve as a source of inspiration for, the Inter-IoT applications.

Tools for Ontology Matching—Practical Considerations from INTER-IoT Perspective

There exists a large body of scientific literature devoted to ontology matching, aligning, mapping translating and merging. With it, comes a long list (90+) of tools that support various aspects of these operations. We have approached such tools from the perspective of the INTER-IoT project, in which one of the goals is to facilitate semantic interoperability of Internet of Things platforms. Thus, we had to answer a question: what is actually available when one needs to align/merge ontologies. Here, we summarize our findings.

Bayesian Network Mining System

The paper provides an exhaustive description of a new system serving learning, viewing and reasoning with Bayesian networks.

Combining and representing logical systems using model-theoretic parchments

The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. We adopt the model-theoretic view of logic as captured in the notions of institution and of parchment (an algebraic way of presenting institutions). We propose a new, modified notion of parchment together with parchment morphisms and representations. In contrast to the original parchment definition and our earlier work, in model-theoretic parchments introduced here the universal semantic structure is distributed over individual signatures and models. We lift formal properties of the categories of institutions and their representations to this level: the category of model-theoretic parchments is complete, and their representations may be put together using categorical limits as well. However, model-theoretic parchments provide a more adequate framework for systematic combination of logical systems than institutions. We indicate how the necessary invention for combination of various logical features may be introduced either on an ad hoc basis or via representations in a universal logic.

Towards Semantic Interoperability Between Internet of Things Platforms

Lack of interoperability between Internet of Things (IoT) platforms, systems, and applications is one of serious problems that prevents its even more rapid adoption. As long as individual IoT platforms cannot meaningfully communicate with each other, the vision of a global IoT ecosystem will not be realized. While the problem of IoT interoperability can be considered at different levels, starting from hardware interoperability at the bottom of the stack, we are interested in the semantic interoperability, which can be seen as the meta-level for all interoperability considerations. In other words, the aim of this chapter is to consider how multiple IoT platforms can “understand” each other and have meaningful “conversation”.

Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems

We propose a method to specify, in a modular way, complex systems formed by interacting agents. The method is based on the notion of view, that is a partial representation of the system, reflecting one of its specific aspects. By composing the different views, we get the overall system, described as a special kind of transition system. By means of a suitable logical language, we can express interesting properties of the system; model-checking techniques can then be used to assess their validity. Views can be specified using different languages or notations, provided they can be translated in so-called agent aware transition systems. The method is explained with the help of a simple, but non trivial example.