Juliana Küster Filipe Bowles

Learn More
In this paper we define a formal strongly consistent transformation from UML2 sequence diagrams to coloured Petri nets (CPNs). We define the language of sequence diagrams (set of legal traces) and show how this is mapped onto an equivalent language of CPNs through formal transformation rules. The rules defined can be extended to consider modelling aspects(More)
The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[8]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a(More)
For purposes of security analysis, cryptographic protocols can be translated from a high-level message-list language like CAPSL into a multiset rewriting (MSR) rule language like CIL. The natural translation creates two rules per message or computational action. We show how to optimize the natural rule set by about 50% into a form similar to the result of(More)
Frameworks are increasingly recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than objects. The CBD methodology Catalysis, for instance, uses frameworks. However, at present, Catalysis frameworks are described only informally , which means we cannot(More)
In this paper, we present the use of Troll for the conceptual modelling of distributed information systems. Troll offers both textual and graphical notations. Troll has been used in practice to model an industrial information system. We use an extract of this case study to describe briefly the syntax and underlying semantics of the language. We also show a(More)
We consider a component-based approach to modelling complex systems using UML. We describe how component concepts at a specification level (interfaces, components , architectures) can be formalized in a uniform way using a distributed logical framework. In the logic Mdtl, each component has associated to it a local logic consisting of a home logic and a(More)