Dr. Nasreddine Aoumeur

Office: Building 29, Room 420
Phone: ++49 391 67-12209
Fax:     ++49 391 67-12020
Email: aoumeur(at)iti.cs.uni-magdeburg.de

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

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

• Algebraic specifications, Rewriting techniques and rewrite logic,

• Dynamic evolution and adaptivity in complex-intensive software systems,

• Architectural and aspect-oriented techniques ,

• Business processes and Web-Services Modeling and Validation.

I am the main investigator within the RAMSES project, focussing  on the following project mainstones:

• Leveraging Component-based Petri Nets to cope with evolution and adaptivity,

• Exploiting architectural techniques and aspects to evolution and separation of concerns,

• Integrating and enriching UML-based artifacts for evolution and adaptability

• Validate the developed formalisms and techniques with the Urban Traffic case study .