Software Engineering Research Group
|
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]
Seminars
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
|