Multiple Viewpoint Contract-Based Specification and Design
Citations
238 citations
Cites background from "Multiple Viewpoint Contract-Based S..."
...Chapter 5 deals with Assume/Guarantee contracts [40, 46]....
[...]
...This calls for including non-functional characteristics as part of the component interface specifications, which is best achieved by using multiple viewpoints [40, 46, 42]....
[...]
163 citations
149 citations
142 citations
Cites background from "Multiple Viewpoint Contract-Based S..."
...Rigorous contract theories have been developed over the years, including assume-guarantee (A/G) contracts [7] and interface theories [8]....
[...]
...Then, a contract C for a component M is a triple ðV; A;GÞ, where V 1⁄4 U [ Y [ X is the set of component variables, and A and G are assertions, each representing a set of behaviors over V [7]....
[...]
...[7], [10], to reason about requirements and their refinement during the design process....
[...]
...When there is a clear distinction between input (uncontrolled) and output (controlled) variables, different notions of contract compatibility and consistency can be defined [7], [9], [18]....
[...]
110 citations
Cites methods from "Multiple Viewpoint Contract-Based S..."
...OCRA: A Tool for Checking the Refinement of Temporal Contracts Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta FBK-irst, Trento, Italy {cimatti,mdorigatti,tonettas}@fbk.eu Abstract—Contract-based design enriches a component model with properties structured in pairs of assumptions and…...
[...]
References
4,755 citations
2,201 citations
"Multiple Viewpoint Contract-Based S..." refers methods in this paper
...The notion of contract has been applied for the first time by Meyer in the context of the programming language Eiffel [5]....
[...]
2,048 citations
"Multiple Viewpoint Contract-Based S..." refers result in this paper
...Similar ideas were already present in seminal work by Dijkstra [6] and Lamport [7] on weakest preconditions and predicate transformers for sequential and concurrent programs, and in more recent work by Back and von Wright, who introduce contracts [8] in the refinement calculus [9]....
[...]
[...]
1,336 citations
"Multiple Viewpoint Contract-Based S..." refers background or result in this paper
...This definition is consistent with similar definitions in other contexts [12,10,15]....
[...]
...More recently, De Alfaro and Henzinger have proposed Interface Automata which are similar to synchronous trace structures, where failures are implicitly all the traces that are not accepted by an automaton representing the component [12]....
[...]
1,193 citations