• Corpus ID: 5618312

FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS

@inproceedings{AH2017FORMALDO,
  title={FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS},
  author={Muhanna A.H and Ter Hopstede},
  year={2017}
}
Conceptual data modelhng techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules (constraint) that must hold for these structures. Contemporary data modelling techniques, however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating… 

Objectification

  • Kathrin Karsay
  • Computer Science
    The International Encyclopedia of Media Psychology
  • 2020
This paper analyzes objectification in-depth, shedding new light on its fundamental nature, and providing practical guidelines on using objectification to model information.

A General Theory for the Evolution of Application Models - Full version

A delimitation of the concept of evolution is provided, resulting in a first attempt to a general theory for such evolutions, applicable for a wide range of modelling techniques, including object-role modelling and object oriented techniques.

ConQuer-92 - The revised report on the conceptual query language LISA-D

The conceptual query language ConQuer-92 is introduced and serves as the backbone of InfoAssistant’s query facilities and can be used for the specification of derivation rules and textual constraints in InfoModeler.

Static and Dynamic Aspects of Application Domains: An Inductively Defined Modeling Technique That Allows Decomposition

An inductive definition for a generic modeling technique is provided and it is shown how states can be introduced for relevant concepts and how their life cycles can be modeled in terms of System Dynamics and how decomposition can be applied to master complex application domains.

Conceptual Schema Optimisation - Database Optimisation before sliding down the Waterfall

An approach to database optimisation in which a conceptual schema is optimised by applying a sequence of transformations by separating between two classes of equivalence, one based on the mathematical semantics of the conceptual schemas and one on conceptual preference by humans.

12 A meta model transformation approach towards harmonisation in information system modelling

The MMT -approach to relate meta models of languages in an open ordering and transformation scheme by means of a set of basic meta model transformations is formalised, and a suitable language for this approach is presented.

Interactive Query Formulation using Point to Point Queries

This article proposes the point to point query mechanism that can be combined with the existing mechanism into an unprecedented computer supported query formulation mechanism, and discusses some of the pragmatic and theoretical issues involved.

An Overview of Computer Supported Query Formulation

A computer supported mechanism that allows for an easy and intuitive formulation of queries in a language that is as close to the user’s perception of the universe of discourse as possible is envisioned.

Business Suitability Principles for Workflow Modelling

Five business suitability principles are proposed for a more detailed understanding and (synthetic) development of workflow modelling techniques and further insight into workflow specification languages and workflow globalisation in open distributed architectures may also be gained.

Interactive Query Formulation using Query By Navigation

This report proposes an adoption of the query by navigation mechanism that is especially geared towards the InfoAssistant product, and its approach to the formulations of queries is proposed.

References

SHOWING 1-10 OF 43 REFERENCES

IFO: a formal semantic database model

A new, formally defined database model is introduced which combines fundamental principles of "semantic" database modeling in a coherent fashion and can serve as the foundation for a theoretical investigation into a wide variety of fundamental issues concerning the logical representation of data in databases.

Fact‐oriented modelling for data analysis

An overview of fact‐oriented modelling is provided, including some recent revisions and an evaluation of how the method has coped with large‐scale practical applications.

The entity-relationship model: toward a unified view of data

A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information in the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.

Views of Formal Program Development

This thesis contains a number of case studies aiming at the exploration of new territories in the area of program specification and transformation, culminating in derivations by reuse of two complicated string matching algorithms.

A Conceptual Framework for Evolving Information Systems

This paper presents a conceptual framework of an approach to evolving information systems, which support the information needs of an evolving organization and makes disctinctions between meta model and application model, and between world, action and behavioural aspects of these models.

Data Modelling in Complex Application Domains

In this paper a general data modelling technique, the Predicator Set Model, is introduced, which is capable of representing complex structures in a natural way.