Formal specifications of user requirements

被引：5

作者：

Clark R.G. ^{[1
]}

Moreira A.M.D. ^{[2
]}

机构：

[1] Dept. of Comp. Sci. and Mathematics, University of Stirling

[2] Departamento de Informática, Faculdade de Cie. e Tecnologia, Universidade Nova de Lisboa

来源：

Automated Software Engineering | 1999年 / 6卷 / 3期

关键词：

formal development; requirements specification; object-oriented analysis; LOTOS; user-centred model;

D O I：

10.1023/A:1008752609513

中图分类号：

学科分类号：

摘要：

There is a wide gap between informal requirements and a formal object-oriented specification. To help bridge this gap, we propose that a formal and executable user-centred model should be constructed initially. The user-centred model, which specifies the behaviour that the environment expects from the system, is expressed in terms of agent views and gives very early feedback to the requirements' capture process. Once the user-centred model has been validated with respect to the environment, it can be used as a step in the construction and validation of the formal object-oriented specification.

引用

页码：217 / 232

页数：15

共 22 条

[1]

Bolognesi T., Brinksma E., Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, 14, pp. 25-59, (1987)

[2]

Brinksma E., LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, (1988)

[3]

Clark R., Moreira A., Using a formal user-centred model to build a formal system-centred model, Computing Science and Mathematics, (1997)

[4]

Coad P., Yourdon E., Object Oriented Analysis (2nd Edition), (1991)

[5]

Easterbrook S., Nuseibeh B., Using viewpoints for inconsistency management, Software Engineering Journal, 11, pp. 31-43, (1996)

[6]

Eertink H., Wolz D., Symbolic execution of LOTOS specifications, Formal Description Techniques v, pp. 295-310, (1993)

[7]

Ehrig H., Mahr B., Fundamentals of Algebraic Specifications, 1, (1985)

[8]

Glinz P., An integrated formal model of scenarios based on statecharts, Proc. ESEC'95, pp. 254-271, (1995)

[9]

Hoare C., Communicating Sequential Processes, (1985)

[10]

Hsia P., Samuel J., Gao J., Kung D., Toyoshima Y., Chen C., Formal approach to scenario analysis, IEEE Software,, 3, pp. 33-41, (1994)

← 1 2 3 →