Refining UML interactions with underspecification and nondeterminism

Authors:
Ragnhild Kobro Runde;Øystein Haugen;Ketil Stølen
Affiliations:
Department of Informatics, University of Oslo, Blindern, Oslo, Norway;Department of Informatics, University of Oslo, Blindern, Oslo, Norway;Department of Informatics, University of Oslo, Blindern, Oslo, Norway and SINTEF ICT, Oslo, Norway
Venue:
Nordic Journal of Computing
Year:
2005

Citing 9
Cited 10

Parallel program design: a foundation

Parallel program design: a foundation
A semantic approach to secure information flow

Science of Computer Programming - Special issue on mathematics of program construction
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography

The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography
Nondeterminism vs. Underspecification

ISAS-SCI '01 Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics: Information Systems Development-Volume I - Volume I
LSCs: Breathing Life into Message Sequence Charts

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
CSP and determinism in security modelling

SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
Why timed sequence diagrams require three-event semantics

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools

Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics-Based Weaving of UML Sequence Diagrams

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis

Science of Computer Programming
Model checking of UML 2.0 interactions

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A semantic paradigm for component-based specification integrating a notion of security risk

FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Maintaining information flow security under refinement and transformation

FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
From sequence diagrams to state machines by graph transformation

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
The pragmatics of STAIRS

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Underspecification, inherent nondeterminism and probability in sequence diagrams

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

STAIRS is an approach to the compositional development of UML interactions, such as sequence diagrams and interaction overview diagrams. An important aspect of STAIRS is the ability to distinguish between underspecification and inherent nondeterminism through the use of potential and mandatory alternatives. This paper investigates this distinction in more detail. Refinement notions explain when (and how) both kinds of nondeterminism may be reduced during the development process. In particular, in this paper we extend STAIRS with guards, which may be used to specify the choice between alternatives. Finally, we introduce the notion of an implementation and define what it means for an implementation to be correct with respect to a specification.