Abstract: We describe a behavioural modelling approach based on the concept of a “Protocol Machine”, a machine whose behaviour is governed by rules that determine whether it accepts or refuses events that are presented to it. We show how these machines can be composed in the manner of mixins to model object behaviour and show how the approach provides a basis for defining reusable fine-grained behavioural abstractions. We suggest that this approach provides better encapsulation of object behaviour than traditional object modelling techniques when modelling transactional business systems. We relate the approach to work going on in model driven approaches, specifically the Model Driven Architecture initiative sponsored by the Object Managemen...
Comunicació presentada a: SMODELSWARD 2019: International Conference on Model-Driven Engineering and...
For the specification of object-oriented systems, usually several models representing different view...
AbstractThis paper describes a proposal for typing the behavior of objects in component models. Most...
Functional prototypes and simulations are a well recognised and valued tool for building a shared un...
Abstract: We present work in the creation of a programming paradigm based on the event protocols of ...
Abstract. The aim of this paper is to explore the modeling of crosscut-ting behavioral abstractions....
This thesis develops and explores a technique called Protocol Modelling, a mathematics for the descr...
Abstract: Current approaches to modeling human-computer interaction do not always succeed in produci...
We propose a formal foundation for behaviour protocols of interacting components with (encapsulated)...
Abstract — The problem addressed in this communication deals with the object-modelling of interconne...
State machines can be used to specify the behaviour of objects in a system by describing the relatio...
Object-oriented modeling is an established approach to document information systems. In an object mo...
Recent trends in software system development point to the growing importance of behaviour modelling....
The purpose of the paper is to present our approach for specifying system behavior during analysis, ...
Abstract. Organizations maintain large repositories of business process models. While repository mai...
Comunicació presentada a: SMODELSWARD 2019: International Conference on Model-Driven Engineering and...
For the specification of object-oriented systems, usually several models representing different view...
AbstractThis paper describes a proposal for typing the behavior of objects in component models. Most...
Functional prototypes and simulations are a well recognised and valued tool for building a shared un...
Abstract: We present work in the creation of a programming paradigm based on the event protocols of ...
Abstract. The aim of this paper is to explore the modeling of crosscut-ting behavioral abstractions....
This thesis develops and explores a technique called Protocol Modelling, a mathematics for the descr...
Abstract: Current approaches to modeling human-computer interaction do not always succeed in produci...
We propose a formal foundation for behaviour protocols of interacting components with (encapsulated)...
Abstract — The problem addressed in this communication deals with the object-modelling of interconne...
State machines can be used to specify the behaviour of objects in a system by describing the relatio...
Object-oriented modeling is an established approach to document information systems. In an object mo...
Recent trends in software system development point to the growing importance of behaviour modelling....
The purpose of the paper is to present our approach for specifying system behavior during analysis, ...
Abstract. Organizations maintain large repositories of business process models. While repository mai...
Comunicació presentada a: SMODELSWARD 2019: International Conference on Model-Driven Engineering and...
For the specification of object-oriented systems, usually several models representing different view...
AbstractThis paper describes a proposal for typing the behavior of objects in component models. Most...