Projects
These are some of the projects I am or have been involved in. I was involved
in the coordination of the european project ASPIRE. The main ideas of the
projects are described below.
ASPIRE (terminated):
The european project ASPIRE (Advanced modelling and SPecification of distributed
InfoRmation sysEms) addresses the need for advanced modelling and specification
techniques for developing information systems. The emphasis is on distribution,
concurrency and real-time issues as well as default engineering. This project
has started in February 1997 and terminated in April 2000.
Module Theory (terminated):
The aim of this project is to develop a mathematical and logical foundation
for distributed object systems with a module concept. Modules are envisaged
to be parameterised templates of software building blocks. Modules have
an export part and can be structured hierarchically through import. Modules
can be put together to form new systems. Thus, modules are units for in-the-large
specification and for reuse. In particular, we aim at extending the specification
language TROLL with a module concept and a simple concept for distribution.
This project was funded by the DFG, started in October 1996 and terminated
in September 2000.
Dependability of Computer-based Systems:
This is an EPSRC funded Interdisciplinary Research Collaboration (IRC)
project. There are five universities in the UK involved in it, namely City
University, University of Edinburgh, University of Lancaster, University
of Newcastle upon Tyne, and University of York. The project comprises a
number of fundamental research themes (Structure, Diversity, Timeliness,
Responsability and Risk). The project started in October 2000.
Collaborations
I am currently collaborating with Kung-Kiu Lau (University of Manchester,
UK), Mario Ornaghi (University of Milano), Hirokazu Yatsu (Unisys, Tokyo,
Japan), Ivica Crnkovic (Mälardalen University, Sweden), Magnus Larsson
(ABB Automation Products, Sweden), and Kenji Taguchi (Uppsala University,
Sweden).
The aim of this collaboration is the formalisation of object-oriented
design frameworks for component-based software development techniques in
general, and for the UML-based methodology Catalysis in particular.
Work on the implementation of OOD frameworks using COM has been initiated.
It has to be investigated if another approach is more appropriate (e.g.,
EJB, CORBA).
Recently, a collaboration with Grit Denker (SRI, California), Jon Millen
(SRI, California), and Antonio Grau (TU Braunschweig) focusing on the specification
of cryptographic protocols started.
Back to
main page of the cv
Juliana Küster Filipe