University of Leicester

Department of Computer Science

 Nasreddine Aoumeur Homepage 

Research Interest Projects
Up: Computer Science Staff

Nasreddine Aoumeur

Magister (Oran), Dr. Ing. (Magdeburg)

Research Associate in Computer Science

Department of Computer Science,
University of Leicester,
University Road,
LE1 7RH.

office: Computer Science Building
tel: +44 (0)116 252 5243
fax: +44 (0)116 252 3604

Research Interests:

  • Formal and semi-formal (UML-based) development of concurrent information systems,

  • Algebraic, object oriented and component-based Petri nets,

  • Algebraic specifications, Rewriting techniques and rewrite logic,

  • Dynamic evolution of distributed component-oriented systems,

  • Architecture-based techniques for component-orientation systems developement

  • Combination of computational mobility and run-time evolution in complex systems

  • Workflow management systems and their runtime evolution,


I am working on the European Project AGILE with the following investigations:

  • (Inter- and Inter-Components) Coordination contracts technology : Syntactical constructions and semantics,

  • Distributed Coordination contract Technology for mobile computing / computation,

  • The CommUnity framework as a foundation for Distributed Coordination contract technology,

  • UML-based methodological aspects for Distributed Coordination Contracts and CommUnity,

  • Operational semantics for Distributed Coordination contracts arround : Klaim, Co-Nets, Graph transformations and rewriting logic,

  • Temporal setting for analysis and verification of Distributed Coordination Contracts.


I am a member of the Software Specification and Design Group

[University Home] [Faculty of Science] [MCS Home] [CS Home] Computer Science Staff [University Index A-Z] [University Search] [University Help]

Author: Nasreddine Aoumeur, tel: +44 (0)116 252 5243, e-mail:
Last modified: 06.11.2003
MCS Web Maintainer

© University of Leicester.