Integrated System Analysis Environment for the Continuous Consistency and Completeness Checking

Authors:
Erki Eessaar
Affiliations:
Department of Informatics, Tallinn University of Technology, Raja 15, 12618 Tallinn, Estonia, eessaar@staff.ttu.ee
Venue:
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Year:
2006

Citing 12
Cited 0

A framework for information systems architecture

IBM Systems Journal
Mastering the requirements process

Mastering the requirements process
Object-oriented modeling: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Why significant UML change is unlikely

Communications of the ACM
Crud matrices for detailed object oriented design

Journal of Computing Sciences in Colleges
A Lightweight Approach to Consistency of Scenarios and Class Models

ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
The Single Model Principle

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Object-oriented modeling with UML: a study of developers' perceptions

Communications of the ACM - Why CS students need math
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Integrated modeling: the key to holistic understanding of the enterprise

Communications of the ACM - Transforming China
Validating UML models and OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modelers create models of a system during information system development. Models should be correct, complete and consistent in order to be most useful. Modeler must have possibility to use software that helps to automate these kinds of checks in order to raise the speed of work and quality of its results. This article describes the software system that allows to perform strategic-and detailed analysis of a database-centric information system without using complicated visual notations. System supports methodological framework for the Enterprise Information System (EIS) strategic analysis (like the one that is described by Roost et al. [1]). User of the proposed system records specification in a database as a single integrated model. We propose database queries that help to find consistency and completeness (CC) problems of the recorded models.