Formalised conceptual models as a foundation of information systems development
The more application semantics are added to a conceptual model, the greater the portion of the respective application system...
Abstraction levels for entity-relationship schemas
Schema abstraction is essential in different phases of the design process. During development, it supports browsing of repositories storing...
Coordination system modelling
We describe an approach to the coordination of application systems through the modelling and maintenance of inter-system dependencies based...
Virtual structures — A technique for supporting scientific database applications
Amazonia is based on a comprehensive model that includes a characterization of the development, representation, and evaluation of the...
Resolving fragmentation conflicts in schema integration
Research on schema integration leads to the identification of many different conflict types. Some of them received much attention...
An executable meta model for re-engineering of database schemas
A logical database schema, e.g. a relational one, is an implementation of a specification, e.g. an entity-relationship diagram. Upcoming...
From E-R to “A-R” — Modelling strategic actor relationships for business process reengineering
As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to...
Standard-driven re-engineering of entity-relationship schemas
System evolution and re-engineering are becoming increasingly important as the size and complexity of Information Systems continue to grow....
The Object Flow Model: A formal framework for describing the dynamic construction, destruction and...
This research complements active object-oriented database management systems by providing a formal, yet conceptually-natural model for complex object construction...
A formal software specification tool using the entity-relationship model
Software engineering, like any other engineering field, needs to use formal methods to prove the reliability of its products...
