Download:
by George Spanoudakis, Kuriakos Kasis
http://www.soi.city.ac.uk/~gespan/icstp00.pdf
Add To MetaCart
Abstract:
The need to describe complex software systems from different design perspectives, such as those of the static structure and the interactions of the components of a system, may result in the construction of many partial design models of such systems (or simply "models " for the purposes of this paper). These models may be constructed independently by different designers, may advocate specific modelling angles and may reflect disparate perceptions of these designers. As a result, they may be inconsistent with each other. Inconsistencies occur when partial models refer to common aspects of the system under development and make assertions which violate consistency rules applicable to these aspects [2,14,16]. As an example consider an object-oriented system design model that
Citations
|
3620
|
Design Patterns: Elements of Reusable Object-oriented Software
– Gamma, Helm, et al.
- 1994
|
|
1235
|
A Mathematical Theory of Evidence
– Shafer
- 1976
|
|
751
|
Object-Oriented Software Engineering: A Use Case Driven Approach
– Jacobson
- 1993
|
|
360
|
A Metrics Suite for Object Oriented Design
– Chidamber, Kemerer
- 1994
|
|
161
|
Inconsistency Handling In MultiPerspective Specifications
– Finkelstein, Gabbay, et al.
- 1994
|
|
109
|
Software measurement: A necessary scientific basis
– Fenton
- 1994
|
|
97
|
Consistency Checking of SCR-Style Requirements Specifications
– Heitmeyer, Labaw, et al.
- 1995
|
|
38
|
Living with inconsistency in large systems
– Schwanke, Kaiser
- 1988
|
|
33
|
Analyzing Inconsistent Specifications
– Hunter, Nuseibeh
- 1997
|
|
21
|
Reconciling Requirements: a method for managing interference, inconsistency and conflict
– Spanoudakis, Finkelstein
- 1997
|
|
18
|
Managing standards compliance
– Emmerich, Finkelstein, et al.
- 1999
|
|
12
|
Managing Interference
– Finkelstein, Spanoudakis, et al.
- 1996
|
|
11
|
Object-oriented software development: a practical guide
– Lorenz
- 1993
|
|
9
|
Supporting Multiple Perspective Requirements Engineering
– Robinson, Fickas
- 1994
|
|
3
|
OMG Unified Modelling Language Specification, V. 1.3a. Available from:ftp://ftp.omg.org/pub/docs/ad/99-06-08.pdf
– OMG
- 1999
|
|
2
|
Object Constraint Language Specification, Available as part of [9
– OMG
- 1999
|
|
1
|
Insurance Networks Fees and Claims, UML Model, available from http://www.rational.com/cgi-bin/www/upshow.cgi
– Corp
- 1997
|
|
1
|
Towards an Evidential Significance Diagnosis Framework for Elements of UML Software Models
– Spanoudakis
- 1999
|
