Now showing items 1-10 of 44
CCA: a calculus of context-aware ambients.
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ...
The systematic construction of information systems
Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different ...
A framework for analysing the effect of "change" in legacy code
We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over ...
Compositional modelling: The formal perspective
We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language ...
Legacy assembler reengineering and migration.
Deriving enforcement mechanisms for policies
Analysis and run-time verification of dynamic security policies.