x-CITY-ng Activities

Past Events

2nd South-East European Workshop on Formal Methods (SEEFM'05) [click here]

1st South-East European Workshop on Formal Methods (SEEFM'03) [click here]


10/06/2004 Modelling of Dynamic Configuration of Biology-Inspired Multi-Agent Systems with Communicating X-machines and P Systems.
Presentation of the paper to be presented to the Workshop of Membrane Computing to be held at Milan, Italy, June 14-16, 2004
Abstract: Dynamic organisation of multi-agent systems can be inspired by the way biological systems adapt to the evolution of its components. In this paper, we investigate how multi-agent systems can be formally modelled as well as how their configuration can be altered, thus affecting communication between agents. We use two different formal methods, communicating X-machines and population P systems with active membranes, in order to model the case of flocking agents. Each method possesses different appealing characteristics which are examined through the modelling process.
I. Stamatopoulou
07/06/2004 P Systems: an introduction. I. Stamatopoulou
30/01/2004 Extending X-Machines and X-Machine Definition Language to Accommodate Objects in Memory Structure
Abstract: X-machines are widely used to model the behaviour of a software system. Although x-machines proved to be very useful in modelling and testing software systems, the structure of the memory may vary from developer to developer. Given that a UML class diagram can model the structure of a software system according to object-oriented principles, this paper presents OX-machines (ObjectX-machines), a specialization of x-machines, in which the memory structure is implicitly defined from class definitions. Thus, after modelling a system's structure with a class diagram, a developer can model the system's behaviour with an x-machine; the memory structure of the OX-machine is generated from the class diagram. The formal definition of OX-machines is presented. Moreover, OXMDL, an extension of the XMDL to accommodate OX-machines, is proposed. Some reflections are discussed about the translation of OXMDL to XMDL.
K. Tigka
28/01/2004 Formal Modelling of the Dynamic Behaviour of Biology-inspired Agent-based Systems
Presentation of the book chapter submitted for the book Molecular Computational Models: Unconventional Approaches.
P. Kefalas
16/11/2000 X-machines Testing Methodology:
A case study
D. Dranidis
27/09/2000 Introduction to UML: A case study [ppt] V. Kehris & G. Eleftherakis
20/09/2000 Video:Reasoning About Programs, Edsger W. Dijkstra -
X-machines: Event-driven design, merging parallel tasks D. Dranidis
06/09/2000 Tranformation of a Petri Net system to an X-machine system [pdf] K. Tigka
Object Machines [pdf]
29/08/2000 Extreme Programming [ppt] D. Dranidis
14/06/2000 The road to my PhD [ppt] D. Dranidis
09/06/2000 Research Directions of the x-CITY-ng Group [pdf] P. Kefalas
07/06/2000 Object-Oriented Petri Nets [pdf] K. Tigka
X-machines G. Eleftherakis
- Example of a Communicating Stream X-machine [pdf] P. Kefalas
03/05/2000 X-machines G. Eleftherakis
- Introduction to Algebraic Specification Notation [pdf] P. Kefalas

Software Engineering Research Group
Department of Computer Science
CITY Liberal Studies, affiliated Institution of the University of Sheffield
13 Tsimiski str., Thessaloniki, 54624, Greece
Tel. ++30.2310.275.575 Fax. +30.2310.287.564

| Home | About | People | Publications | Technical Achievements | Activities | Links | Contact |

Page created and maintained by I. Stamatopoulou.
Last modified: December 2005