Protocol modelling: A modelling approach that supports reusable behavioural abstractions

McNeile, Ashley T.; Simons, Nicholas

doi:10.1007/s10270-005-0100-7

Cited by 45 publications

(53 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Protocol modeling [4] uses the CSP parallel composition [2] defined at the level of event accepting and refusing and extended for modules with internal data. The decision modules, localised in protocol models, possess unidirectional dependency.…”

Section: Take Down Policymentioning

confidence: 99%

Decision Modules in Models and Implementations

Roubtsov

Roubtsova

2015

Behavior Modeling -- Foundations and Applications

View full text Add to dashboard Cite

Section: Take Down Policymentioning

confidence: 99%

Decision Modules in Models and Implementations

Roubtsov

Roubtsova

2015

Behavior Modeling -- Foundations and Applications

View full text Add to dashboard Cite

“…Note that machines with derived state are not "topologically connected" as the new state that results from a transition firing is not determined as the end point of a transition. Further discussion can be found in the literature on Protocol Modeling [7].…”

Section: Derived Statesmentioning

confidence: 99%

“…The Protocol Modeling approach [7] experiments with new semantic constructs for describing system behavior in terms of event protocols. The approach supports a highly compositional style of modeling, whereby a complete class definition is constructed by composing one or more partial definitions called mixins.…”

Section: Introductionmentioning

confidence: 99%

Aspect-Oriented Development Using Protocol Modeling

McNeile¹,

Roubtsova

2010

Transactions on Aspect-Oriented Software Development VII

Self Cite

View full text Add to dashboard Cite

Abstract. The aim of this paper is to explore the modeling of crosscutting behavioral abstractions. We argue that behavioral aspects can be seen as a particular kind of more general behavioral abstraction called a "mixin". Mixins support a compositional style of modeling, whereby a complete class definition is constructed by composing one or more mixins each of which represents a partial definition of the class. If used as the replacement for inheritance, mixins can provide an expressive power equivalent to multiple inheritance. In this paper we use a modeling semantics called Protocol Modeling to illustrate how mixins can be used to represent behavioral aspects. We use the Crisis Management System case to illustrate the Protocol Modeling approach, and describe how the model can be executed to give early validation of its behavior. We discuss the extent to which the Protocol Modeling approach is scalable to large problems, is suitable for evolutionary development and supports correctness analysis and testing.

show abstract

“…In this paper we examine the ability of the Protocol Modeling (PM) approach (A. McNeile, N. Simons, 2006) to support this paradigm. Although the domain of HCI is a novel application area for Protocol Modeling, it appears well suited to it.…”

Section: Introductionmentioning

confidence: 99%

Protocol Models of Human-Computer Interaction

McNeile

Roubtsova

Veer

2008

Proceedings of the Tenth International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:Current approaches to modeling human-computer interaction do not always succeed in producing behaviorally complete models of manageable size and complexity. We argue that the reason for this lies in lack of support for parallel composition of partial behavioral descriptions, and propose the recently developed Protocol Modeling approach as a superior alternative. The semantics of Protocol Modeling support separation and composition of concerns in models of human-computer interaction, and the production of executable models to explore and refine the desired behavior. Protocol Modeling supports a crucial property sought in modeling methods if it is to scale to complex problems, namely the ability to reason about the modeled behavior of the whole based on examination only of a part (sometimes called "modular" or "local" reasoning).

show abstract

Protocol modelling: A modelling approach that supports reusable behavioural abstractions

Cited by 45 publications

References 3 publications

Decision Modules in Models and Implementations

Decision Modules in Models and Implementations

Aspect-Oriented Development Using Protocol Modeling

Protocol Models of Human-Computer Interaction

Contact Info

Product

Resources

About