Domain-specific Semantics and Data Refinement of Object Models | Zendy

Jim Davies | Zendy; David Faitelson | Zendy; James Welch | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Domain-specific Semantics and Data Refinement of Object Models

Author(s) -

Jim Davies,

David Faitelson,

James Welch

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.08.031

Subject(s) - computer science , semantics (computer science) , consistency (knowledge bases) , domain (mathematical analysis) , programming language , transformation (genetics) , object (grammar) , formal semantics (linguistics) , development (topology) , theoretical computer science , model transformation , operational semantics , data type , artificial intelligence , mathematics , mathematical analysis , biochemistry , chemistry , gene

This paper shows how a domain-specific semantics for object models can be used to support the development of transformations that reflect a particular implementation strategy. The semantics captures model constraints and domain assumptions in terms of abstract data types, and a transformation is correct if and only if it corresponds to a data refinement. The transformations represent development steps, involving the completion of method descriptions, and validity checks, addressing issues of definedness and consistency. The paper shows how compositions of transformations may be used for the automatic generation of working systems from formal, object-oriented designs.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research