Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications | Zendy

Irina Rychkova | Zendy; Alain Wegmann | Zendy

Open Access

Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications

Author(s) -

Irina Rychkova,

Alain Wegmann

Publication year - 2007

Language(s) - English

Resource type - Conference proceedings

DOI - 10.5220/0002435501380147

Subject(s) - computer science , property (philosophy) , semantics (computer science) , programming language , relation (database) , formal semantics (linguistics) , operational semantics , visual language , partition (number theory) , theoretical computer science , natural language processing , mathematics , data mining , linguistics , combinatorics , philosophy , epistemology

SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalization. This paper complements the existing SEAM semantics by formalizing property-property relations. This formalization is based on the theory of multi-relations and Relation Partition Algebra (RPA).

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