Behavioural views for software requirements engineering

被引：5
作者：
Isazadeh A. [1 ]
Lamb D.A. [1 ,3 ]
Shepard T. [2 ]
机构：
[1] Computing and Information Science, Queen's University, Kingston, Ont.
[2] Electrical and Computer Engineering, Royal Military College of Canada, Kingston, Ont.
[3] Computing and Information Science, Queen's University, Kingston
来源：
Requirements Engineering | 1999年 / 4卷 / 1期
关键词：
Formal methods; Specification languages; Statecharts; Visual languages;
D O I：
10.1007/PL00013710
中图分类号：
学科分类号：
摘要：
This paper introduces the idea of a software behavioural view: intuitively, this is a complete description of the behaviour of the system observable from a specific point of view. We believe that a fully developed methodology based on views would significantly reduce the complexity of creating and understanding software requirements. In this paper we take the first steps towards such a methodology. We define a formal notation, Viewcharts, with a well-defined semantics based on Statecharts. Viewcharts gives a means for precisely describing views and their compositions. We show that Viewcharts reasonably capture the informal idea of a view by giving an example: a manufacturing control system. We show that Viewcharts have some advantages over Statecharts; in particular, Viewcharts add name space control to limit the scope of broadcast communication, solving a problem with Statecharts presented by Harel. © 1999 Springer-Verlag London Limited.
引用
收藏
页码：19 / 37
页数：18
相关论文
共 66 条
[1]  
Barbacci M.R., Weinstock C.B., Doubleday D.L., Gardner M.J., Lichota R.W., Durra: A structure description language for developing distributed applications, IEE Software Engineering J, 8, 2, pp. 83-94, (1993)
[2]  
Hofmeister C., White E., Purtilo J., Surgeon: A packager for dynamically reconfigurable distributed applications, IEE Software Eng J, 8, 2, pp. 95-101, (1993)
[3]  
Magee J., Dulay N., Kramer J., A constructive development environment for parallel and distributed programs, Proceedings of the Second International Workshop on Configurable Distributed Systems, pp. 4-14, (1994)
[4]  
Nehmer J., Haban D., Mattern F., Wybraniertz D., Rombach D., Key concepts of the INCAS multicomputer project, IEEE Trans Software Eng, 13, 8, pp. 913-923, (1987)
[5]  
Dean T.R., Characterizing Software Structure Using Connectivity, (1993)
[6]  
DeRemer F., Kron H., Programming-in-the-large versus programming-in-the-small, IEEE Trans Software Eng, 2, 2, pp. 114-121, (1976)
[7]  
Gamma E., Helm R., Johnson R., Vlissides J., Design Patterns: Elements of Reusable Object-Oriented Software, (1994)
[8]  
Isazadeh A., Configuration Languages for Distributed Software Systems, (1994)
[9]  
Harel D., Statecharts: A visual formalism for complex systems, Sci Comput Program, 8, pp. 231-274, (1987)
[10]  
Harel D., On visual formalisms, Commun ACM, 31, 5, pp. 514-530, (1988)
1234567