Specifying and validating structural constraints of analysis class models using OCL |
| |
| Affiliation: | 1. Universitat Oberta de Catalunya, Spain;2. ICREA, Spain;3. Universitat Politècnica de Catalunya, Spain;1. Business Informatics Group, TU Wien, Karlsplatz 13, 1040 Wien, Austria;2. Database and Artificial Intelligence Group, TU Wien, Karlsplatz 13, 1040 Wien, Austria;3. Inst. f. Formal Models and Verification, JKU Linz, Altenbergerstr. 69, 4040 Linz, Austria;4. Knowledge-Based Systems Group, TU Wien, Karlsplatz 13, 1040 Wien, Austria;5. School of Economic Disciplines, Univ. Siegen, A.-Reichweinstr. 2, 57076 Siegen, Germany;1. Facultad de Ingeniería, Universidad de la República, 11300 Montevideo, Uruguay;2. Otto-von-Guericke University Magdeburg, 39106 Magdeburg, Germany;3. Facultad de Ingeniería, Universidad ORT Uruguay, 11100 Montevideo, Uruguay |
| |
| Abstract: | Analysis modeling focuses on functional requirements and postpone implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis models.In this paper, we propose structural constraints that analysis class models of information systems should satisfy, and describe an OCL-based approach to validating the analysis class models against the constraints. In addition, through a case study with four medium-sized industrial information systems, we find that the proposed approach can help to identify deficiencies in analysis models. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
