In this paper, we argue that Case tools provide a valuable support for the presentation and analysis of models, but more support for a stepwise development process is still needed. In particular, we focus on the development steps for behaviour models, and which support can be provided by Case tools for them. Notions of refinement can help to provide this support. We discuss the use of existing refinement calculi for this task and present additional high level refinements necessary to support important practical development steps. In particular, we address two important issues: Interface refinement and the introduction of time. 1.
|
2678
|
Communicating Sequential Processes
– Hoare
- 1985
|
|
491
|
On Visual Formalisms
– Harel
- 1988
|
|
410
|
Real-Time Object-Oriented Modeling
– Selic, Gullekson, et al.
- 1994
|
|
363
|
Algebraic Theory of Processes
– Hennessy
- 1988
|
|
354
|
Statemate: A working environment for the development of complex reactive systems
– Harel
- 1990
|
|
154
|
Using UML for modeling complex real-time systems. Available at http://www106.ibm.com/developerworks/rational/library
– Selic, Rumbaugh
- 1998
|
|
118
|
The Design of Distributed Systems, An Introduction to FOCUS", Internal Report TU-Munich
– Dederichs, Fuchs, et al.
- 1992
|
|
84
|
Priorities in process algebra
– Cleaveland, Hennessy
- 1990
|
|
65
|
From MSCs to statecharts
– Kruger, Grosu, et al.
- 1998
|
|
41
|
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
– Rumpe
- 1996
|
|
34
|
Guernic. ``From synchrony to asynchrony
– Benveniste, Caillaud, et al.
- 1999
|
|
29
|
Compositional refinement of interactive systems
– Broy
- 1992
|
|
29
|
Distributed System Design with Message Sequence Charts
– Krüger
- 2000
|
|
25
|
Specification Based Test Sequence Generation with Propositional Logic
– Wimmel, Lotzbeyer, et al.
- 2000
|
|
22
|
A specification-oriented semantics for the refinement of real-time systems
– Scholefield, Zedan, et al.
- 1994
|
|
20
|
inter-)action refinement: The easy way
– Broy
- 1993
|
|
17
|
Design of Reactive Systems and Their Distributed Implementation with Statecharts
– Scholz
- 1998
|
|
14
|
failure and testing equivalences for communicating processes
– Trace
- 1987
|
|
13
|
Trac Lights - An AutoFocus Case Study
– Huber, Molterer, et al.
- 1998
|
|
13
|
UML for Real-Time Overview
– Lyons
- 1998
|
|
12
|
Refinement of time
– Broy
- 1997
|
|
11
|
Consistent Integration of Formal Methods
– Braun, Ltzbeyer, et al.
- 2000
|
|
9
|
Focus on system development. Book manuscript
– Broy, Stølen
- 1997
|
|
5
|
TM Profile for Scheduling, Performance, and Time - Request for Proposal. http://www.omg. org/techprocess/meetings/schedule/ UML_Profile_for_Scheduling_RFP.html
– UML
- 1999
|
|
3
|
Refinement of pipe-andfilter architectures
– Philipps, Rumpe
- 1999
|
|
3
|
Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen
– Schätz
- 1998
|
|
2
|
4.0 Users Guide. ETAS-Engineering
– SD
- 2000
|
|
2
|
Synchronous development of asynchronous systems
– Fischer, Janssen
- 1996
|
|
2
|
A compositional comparison of specifications of the alternating bit protocol in ccs and unity based on algebra transformation systems
– Große-Rhode
- 1999
|
|
2
|
Anforderungsspezifikation durch Transitionssysteme und Szenarien
– Klein
- 1998
|
|
2
|
specifications: Semantics, equivalence and refinement. submitted for publication
– Behaviour
- 2000
|
|
2
|
Response to the OMG
– OMG
- 1999
|
|
2
|
Notation guide, version 1.3. http://www.rational.com/uml/ resources/documentation
– UML
- 1999
|
|
2
|
Semantics, version 1.3. http: //www.rational.com/uml/resources/ documentation
– UML
- 1999
|
|
2
|
version 1.3. http: //www.rational.com/uml/resources/ documentation
– Summary
- 1999
|
