Membership Details (University/College)
Contact: Prof. Hussein Zedan
Member node: 044
H00.18 Hawthorn Building
>>> 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
This list was generated on Mon Sep 10 16:38:43 BST 2007.