A formal approach to the assessment and improvement of terminological models used in information systems engineering

Authors:
Peter Wendorff
Affiliations:
ASSET GmbH, Am Flasdieck 5, 46147 Oberhausen, Germany
Venue:
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2001

Citing 10
Cited 2

The Hungarian revolution

BYTE
Basic category theory for computer scientists

Basic category theory for computer scientists
Code complete: a practical handbook of software construction

Code complete: a practical handbook of software construction
Categories and computer science

Categories and computer science
Identifying Modules via Concept Analysis

IEEE Transactions on Software Engineering
A guide to natural naming

ACM SIGPLAN Notices
Industrial Strength C++; Rules and Recommendations

Industrial Strength C++; Rules and Recommendations
Status Report on Software Measurement

IEEE Software
Designing Data Entity Naming Conventions

Proceedings of the Sixth International Conference on Entity-Relationship Approach
On choosing identifiers

ACM SIGPLAN Notices

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Component contract-based formal specification technique

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the design and implementation of any information system identifiers are used to designate concepts. Typical examples are names of classes, variables, modules, database fields, etc. A terminological model is a set of identifiers together with a set of abstractions and a set of links between identifiers and abstractions. Naturally, terminological models embody important knowledge of a system, and therefore they play an important role during the development of information systems. In this paper we propose a metamodel for terminological models that is based on category theory as conceptual and notational framework.