A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS

被引：76

作者：

BOURDEAU, RH ^{[1
]}

CHENG, BHC ^{[1
]}

机构：

[1] MICHIGAN STATE UNIV,DEPT COMP SCI,E LANSING,MI 48824

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1995年 / 21卷 / 10期

基金：

美国国家科学基金会;

关键词：

ALGEBRAIC SPECIFICATION; FORMAL METHODS; OBJECT MODELING; REQUIREMENTS SPECIFICATION; SEMANTICS;

D O I：

10.1109/32.469459

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Informal software development techniques, such as the Object Modeling Technique (OMT), provide the user with easy to understand graphical notations for expressing a wide variety of concepts central to the presentation of software requirements. OMT combines three complementary diagramming notations for documenting requirements: object models, dynamic models, and functional models. OMT is a useful organizational tool in the requirements analysis and system design processes. Currently, the lack of formality in OMT prevents the evaluation of completeness, consistency, and content in requirements and design specifications. A formal method is a mathematical approach to software development that begins with the construction of a formal specification describing the system under development. However, constructing a formal specification directly from a prose description of requirements can be challenging. This paper presents a formal semantics for the OMT object model notations, where an object model provides the basis for the architecture of an object-oriented system. A method for deriving modular algebraic specifications directly from object model diagrams is described. The formalization of object models contributes to a mathematical basis for deriving system designs.

引用

页码：799 / 821

页数：23

共 36 条

[1]

Lutz R.R., Targeting safety-related errors during software requirements analysis, SIGSOFT '93 Symp. on the Foundations of Software Engineering, (1993)

[2]

Lutz R.R., Analyzing software requirements errors in safety-critical embedded systems, Proc. of IEEE Int'l Symp. on Requirements Engineering, (1993)

[3]

Kelly J.C., Sherif J.S., Hops J., An analysis of defect densities found during software inspections, J. of Systems Software, 17, pp. 111-117, (1992)

[4]

Basili V., Perricone B., Software errors and complexity: An empirical investigation, Comm. of the ACM, 21, pp. 42-52, (1984)

[5]

Boehm B., Software engineering economics, IEEE Transactions on Software Engineering, 10, pp. 4-21, (1984)

[6]

Wing J.M., A specifier's introduction to formal methods, IEEE Computer, 23, pp. 8-24, (1990)

[7]

Cheng B.H.C., Applying formal methods in automated software development, J. of Computer and Software Engineering, 2, 2, pp. 137-164, (1994)

[8]

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

[9]

Wirfs-Brock R., Wilkerson B., Wiener L., Designing Object-Oriented Software, (1990)

[10]

Rumbaugh J., Blaha M., Premerlani W., Eddy F., Sorenson W., Object-Oriented Modeling and Design, (1991)

← 1 2 3 4 →