© The Institution of Electrical Engineers
Computational mechanisms are presented for analogical retrieval of domain knowledge as a basis for intelligent tool-based assistance for requirements engineers. A first mechanism, called the domain matcher, retrieves object system models which describe key features for new problems. A second mechanism, called the problem classifier, reasons with analogical mappings inferred by the domain matcher to detect potential incompleteness, overspecification and inconsistencies in entered facts and requirements. Both mechanisms are embedded in AIR, a toolkit that provides co-operative reuse-oriented assistance for requirements engineers.
References
-
-
1)
-
Sutcliffe, A.G., Maiden, N.A.M.: `Domain modeling for reuse', Proc. 3rd Int. Conf. on Software Reuse, 1994, IEEE Computer Society Press, p. 157–164.
-
2)
-
D. Gentner
.
Structure-mapping: a theoretical framework for analogy.
Cogn. Sci.
,
121 -
152
-
3)
-
Arango, G., Schoen, E., Pettengill, R.: `Design as evolution and reuse', Proc. 2nd Int. Workshop on Software Reusability, 1993, IEEE computer society Press, p. 9–18, Advances in Software Reuse.
-
4)
-
Maiden, N.A.M., Sutcliffe, A.G.: `Requirements critiquing using domain abstractions', Proc. 1st Int. Conf. on Requirements Engineering, 1994, IEEE Computer Society Press, p. 184–193.
-
5)
-
B.A. Burton ,
R.W. Aragon ,
S.A. Bailey ,
K.D. Koehler ,
L.A. Mayers
.
The reusable software library.
IEEE Softw.
,
25 -
32
-
6)
-
G. Lakoff
.
(1987)
, Women, fire and dangerous things: what categories reveal about the mind.
-
7)
-
N.A.M. Maiden ,
A.G. Sutcliffe
.
Exploiting reusable specifications through analogy.
Commun. ACM
,
5 ,
55 -
64
-
8)
-
J. Mylopopoulos ,
A. Borgida ,
M. Jarke ,
M. Koubarakis
.
Telos: representing knowledge about information systems.
ACM Trans. Off. Inf. Syst.
,
4
-
9)
-
Shaw, M.: `Heterogeneous design idioms for software architecture', Proc. 6th Int. Workshop on System Specification and Design, 1991, IEEE Computer Society Press, p. 158–165.
-
10)
-
R. Greiner
.
Learning by understanding analogies.
Artif. Intell.
,
81 -
125
-
11)
-
R. Prieto-Diaz ,
P. Freeman
.
Classifying software for reusability.
IEEE Softw.
,
6 -
16
-
12)
-
D.R. Barstow
.
Domain-specific automated programming.
IEEE Trans.
,
11 ,
1321 -
1336
-
13)
-
Sutcliffe, A.G., Maiden, N.A.M.: `Bridging the requirements gap: policies, goals and domains', Proc. 7th Int. Workshop on System Specification and Design, 1993, IEEE Computer Society Press, p. 52–55.
-
14)
-
G. Spanoudakis ,
P. Constantopoulos
.
(1993)
Similarity for analogical software reuse: a conceptual modelling approach, Proc. CAiSE93.
-
15)
-
B. Meyer
.
On formalism in specifications.
IEEE Softw.
,
6 -
26
-
16)
-
E.L. Rissland ,
D.B. Skalak ,
Cabaret
.
rule interpretation in a hybrid architecture.
Int. J. Man-Mach. Stud.
,
839 -
887
-
17)
-
Maiden, N.A.M., Sutcliffe, A.G.: `Requirements engineering by example: an empirical study', Proc. IEEE Symp. on Requirements Engineering, 1933, IEEE Computer Society Press, p. 104–112.
-
18)
-
B. Falkenhainer ,
K.D. Forbus ,
D. Gentner
.
The structure-mapping engine: algorithm and examples.
Artif. Intell.
,
1 ,
1 -
63
-
19)
-
Fischer, G.: `Domain-oriented design environments', Proc. 7th Conf. on Knowledge-Based Software Engineering, 1992, IEEE Computer Society Press, p. 204–213.
-
20)
-
M. Lenz ,
H.A. Schmid ,
P.F. Wolf
.
Software reuse through building blocks.
IEEE Softw.
,
34 -
42
-
21)
-
Jarke, M., Bubenko, Y., Rolland, C., Sutcuffe, A.G., Vassiliou, Y.: `Theories underlying requirements engineering: an overview of NATURE at genesis', Proc. IEEE Symp. on Requirements Engineering, IEEE Computer Society Press, p. 19–31.
-
22)
-
S. Kedar-Cabelli
.
(1988)
, Towards a computational model of purpose-directed analogy.
-
23)
-
N.A.M. Maiden ,
A.G. Sutcliffe ,
C.N. Taylor ,
D. Till
.
A set of formal problem abstractions for reuse during requirements engineering.
Ingenierie des Systemes d'Informations
,
6 ,
679 -
698
-
24)
-
MAIDEN, N.A.M., and SUTCLIFFE, A.G.: ‘Computational mechanisms for parallel problem decomposition during requirements engineering’.
-
25)
-
Harandi, M.T., Lee, H.-Y.: `Acquiring software design schemas: a machine learning perspective', Proc. 6th Knowledge-Based Conf. on Software Engineering, 22–25 September 1991, Syracuse New York, p. 239–250.
-
26)
-
R. Prieto-Diaz
.
Implementing faceted classification for software reuse.
Commun. ACM
,
5 ,
88 -
97
-
27)
-
Fugini, M.G., Guggino, M., Pernici, B.: `Reusing requirements through a modeling and composite support tool', Proc. 3rd Int. Conf. CAiSE'91, Trondheim, May 1991, Norway, Springer-Verlag, p. 50–78.
-
28)
-
M. Jarke ,
S. Eherer ,
R. Gallersdörfer ,
M. Jeusfeld ,
M. Staudt
.
ConceptBase—a deductive object manager for meta Data bases.
J. Intell. Inf. Syst.
-
29)
-
A. Dardenne ,
A. van Lamsweerde ,
S. Fickas
.
Goal directed requirements acquisition.
Sci. Prog.
,
3 -
50
-
30)
-
M. Jackson
.
(1995)
, Software requirements and specifications.
-
31)
-
K.J. Holyoak ,
P. Thagard
.
Analogical mapping by constraint satisfaction.
Cogn. Sci.
,
295 -
355
-
32)
-
Maiden, N.A.M., Assenova, P., Constantopoulos, P., Jarke, M., Johanneson, P., Nissen, P., Spanoudakis, G., Sutcliffe, A.G.: `Computational mechanisms for distributed requirements engineering', Proc. 7th Int. Conf. on Software Engineering and Knowledge Engineering, 1995, Knowledge Systems Institute, p. 8–16.
-
33)
-
W.L. Johnson ,
M.S. Feather ,
D.R. Harris
.
Representation and presentation of requirements knowledge.
IEEE Trans.
,
10 ,
853 -
869
-
34)
-
L.K. Branting
.
Building explanations from rules and structured cases.
Int. J. Man-Mach. Stud.
,
797 -
837
-
35)
-
H.B. Reubenstein ,
R.C. Waters
.
The requirements apprentice: automated assistance for requirements acquisition.
IEEE Trans.
,
226 -
240
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1996.0038
Related content
content/journals/10.1049/sej.1996.0038
pub_keyword,iet_inspecKeyword,pub_concept
6
6