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

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).

[1]  Harald Sẗorrle Ludwig-Maximilians-Universiẗat.  Semantics of UML 2 . 0 Activities , 2004 .

[2]  Ralph-Johan Back,et al.  Refinement Calculus: A Systematic Introduction , 1998 .

[3]  Irina Rychkova,et al.  Refinement Propagation - Towards Automated Construction of Visual Specifications , 2007, ICEIS.

[4]  Alain Wegmann,et al.  Conceptual modeling of complex systems using an RM-ODP based ontology , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.

[5]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[6]  René L. Krikhaar,et al.  Relation algebra with multi-relations , 1998, Int. J. Comput. Math..

[7]  Reinder J. Bril,et al.  Generalizing Consistency Checking between Software Views , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[8]  Ivar Jacobson,et al.  The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[9]  G. Weinberg.  An Introduction to General Systems Thinking , 1975 .

[10]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[11]  Loe M. G. Feijs,et al.  Relation Partition Algebra - Mathematical Aspects of Uses and Part-Of Relations , 1999, Sci. Comput. Program..

[12]  Jan L. G. Dietz,et al.  Enterprise ontology - theory and methodology , 2006 .

[13]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  Wil M. P. van der Aalst,et al.  Challenges in Business Process Management: Verification of Business Processing Using Petri Nets , 2003, Bull. EATCS.

[16]  Jaap Schekkerman,et al.  How to Survive in the Jungle of Enterprise Architecture Framework: Creating or Choosing an Enterprise Architecture Framework , 2003 .

[17]  Irina Rychkova,et al.  A Method for Functional Alignment Verification in Hierarchical Enterprise Models , 2006, BUSITAL.

[18]  Alain Wegmann,et al.  On the Systemic Enterprise Architecture Methodology (Seam) , 2003, ICEIS.

[19]  Claudia Pons,et al.  Heuristics on the Definition of UML Refinement Patterns , 2006, SOFSEM.

[20]  Dov Dori,et al.  Object-process methodology - a holistic systems paradigm , 2013 .