Paper Info
Title
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
Abstract
STAIRS is a formal approach to system development with UML 2.1 sequence diagrams that supports an incremental and modular development process. STAIRS is underpinned by denotational and operational semantics that have been proved to be equivalent. STAIRS is more expressive than most approaches with a formal notion of refinement. STAIRS supports a stepwise refinement process under which trace properties as well as trace-set properties are preserved. This paper demonstrates the potential of STAIRS in this respect, in particular that refinement in STAIRS preserves adherence to information flow properties as well as policies.
Year
DOI
Venue
2009
10.1007/s10270-008-0102-3
Software and System Modeling
Keywords
Field
DocType
operational semantics,development process,sequence diagram,information flow
Information flow (information theory),Operational semantics,Sequence diagram,Engineering drawing,Programming language,Unified Modeling Language,Computer science,Top-down and bottom-up design,Theoretical computer science,Modular design,Message sequence chart,Stairs
Journal
Volume
Issue
ISSN
8
1
1619-1374
Citations 
PageRank 
References 
3
0.38
28
Authors
3
Name
Order
Citations
PageRank
Fredrik Seehusen1598.06
Bjørnar Solhaug29913.32
Ketil Stølen366973.05