Radek Koci

OOPN and DEVS Formalisms for System Specification and Analysis

The paper describes an approach to Simulation Based Design (SBD) of systems, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have to be generated or the design formalism has to be extended by special formalism. The presented approach uses formalisms which can be used for system design as well as system analysis. It uses high-level Petri nets, objects and systems-theoretic approach represented by DEVS formalism. The paper outlines the design methodology of SBD based on the formalism and demonstrates a technique of simulation analysis on the simplified example.

PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets

Petri nets have proven to be a valuable tool for modelling concurrent systems. As such, they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless, there are not many systems that allow modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols. This paper describes the main concepts of PNagent - a tool for modelling BDI agents using the formalism of object oriented Petri nets (OOPN). PNagent allows development, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thanks to the formal nature of its underlying paradigm, it provides means for verification of agentpsilas properties.

Object Oriented Petri Nets Modelling Techniques Case Study

The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models - they are known as model-based design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri nets, especially its object variant, object oriented Petri nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modeling techniques of OOPN on the case study of conference system design.

Towards Simulation-Based Design of the Software Systems

The current trend in research of methodology of systems design highlights the quality of resulted systems, however the research mainly aims at efficiency and safety of the development process itself. The most used development methodology used models as a basic means for description of systems. Although they can allow for model transformation, the designer has to adapt the resulted code manually. It can results in inconsistency among design models and their realization and the further development or debugging by means of prime models is impossible. The paper presents an approach to the system development, which is based on the concept of simulation based design allowing to see the system as a set of models in every development stage including its deployment.

Simulation Based Design of Control Systems Using DEVS and Petri Nets

Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).

POČÍTAČOVÁ TERAPIE JAKO KONCEPT NOVÉ FORMY TERAPIE PRO OSOBY S MENTÁLNÍM POSTIŽENÍM: TEORIE I PRAXE

In this paper we present study and current state of r search – the design and creation of new therapy for intellectual disabled people, called computer therapy. The goal is to apply resources of IT properly in synthesis with methods of special education, social care and informatics (informatics education), to create unified concept of the rapy, which is easily accessible, long termed, applicable in natural envi ro ment of people with intellectual disability. Thus we finally compensate or decrease the impact of intellectual disability in lives of these people . To do so, we come from unsatisfactory state of last years following the su ccess of touch devices achieved in special pedagogy. Hence this therapy de mands to cover this issues in whole life cycle, starting from mostly in formatics area – the development of specific application through its deplo yment on suitable device to use it practise by intellectual disabled pe opl by covering their individual, specific needs. In this application pha se of computer therapy life cycle, there is more contribution from area of special education and social care. Such unified process is presented in d esigned concept of computer therapy, which is subsequently verified.

Modelling intelligent agents for autonomic computing in the PNagent framework

Petri nets have proven to be a valuable tool for modelling concurrent systems. As such, they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless, there are not many systems that allow the modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to subproblems such as the verification of interaction protocols. This paper describes the main concepts of PNagent – a tool for modelling Believe-Desire-Intention (BDI) agents using the formalism of Object-Oriented Petri Nets (OOPN). PNagent allows for developing, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thanks to the formal nature of its underlying paradigm, it provides the means to verify an agents properties. Thanks to its consistent environment and the high-level nature of the used formalism, the framework is also suitable for incorporating the ideas of autonomic computing.

Tools for creation of multimodels

The process of creating complex models often requires different modelling methods and tools to be integrated. This paper provides a concise description of an object‐oriented environment for creating composite models. The proposed approach is based on using simulation abstractions as basic model building blocks. The basic environment is built up of a Prolog interpreter, SIMLIB and object‐oriented Petri nets.

Possibilities of Creation of Community Genealogical Database with Semantic Information

This paper deals with design of database system for innovative approach for rewriting records from seriel sources, mainly from old church registers. Suitable database together with user friendly GUI for as comfortable rewriting as possible is needed. Since the records will be rewritten by volunteers -- mainly amateur genealogists -- we need some reputation system that determines ability of reading of old handwriting. Last part will be focused on getting semantic information from those records. This will be the most important part of the work that allows getting information like average number of children per pair, average age at death and so on.

JADE agents used for Wireless Sensors control: System based on services

This particular paper describes our most recent work on our system called JAWS. This system is intended to control and monitor Wireless Sensor Network. In principle, JAWS is agent system built on JADE platform. It consists of several agents that are able to communicate with Wireless Sensor Nodes. Via communication, we are able to obtain values from particular sensor nodes called motes. We are also able to inject mobile code to each mote so we can basically change behaviour of that mote and in extension of whole network. In this paper we explain our use of concept of services in our system. As will be shown, services are natural and most viable concept in our approach to control and monitor Wireless Sensor Network. We will briefly describe basic concepts of our system and explain all kinds of services that can be used within our system, which is the most narrow scope of this paper. We also describe few protocols that we use and that are bound to services.