De Montfort University -STRL

Membership Details (University/College)

Contact: Prof. Hussein Zedan
Member node: 044
STRL H00.18 Hawthorn Building The Gateway LE1 9BH Leicester

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


At STRL, we are investigating the applicability of Interval
Temporal Logic (ITL) for the formal specification of Multi Agent Systems and Web services. Our key areas of research are specification of compositional properties, security requirements together with the functional and temporal requierements of these systems. We are currently developing the uniform formal framework SANTA that allows to specify security, temporal and functional requirements at the same level of abstraction.

These specifications can be animated and validated at runtime, using the
AnaTempura-Interpreter that can interpret specifications given in Tempura, an
executable subset of ITL. We also plan to provide a refinement calculus for the
formal development of MAS and toolsupport that assists the developer in the
refinement process.

This list was generated on Mon Sep 10 16:38:43 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact