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

Irina Rychkova, Alain Wegmann

Abstract

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 relations. This formalization is based on the theory of multi-relations and Relation Partition Algebra (RPA).

References

  1. Zachman J. A.: A Framework for Information Systems Architecture, IBM Systems Journal (1987)
  2. The Open Group Architecture Framework (TOGAF), The Open Group,(2006)
  3. Schekkerman, J.: How to Survive in the Jungle of Enterprise Architecture Frameworks: Creating or Choosing an Enterprise Architecture Framework, Trafford, (2003).
  4. Wegmann, A.: On the systemic enterprise architecture methodology (SEAM). In proceedings of International Conference on Enterprise Information Systems (ICEIS) (2003)
  5. Weinberg, G.M.: An Introduction to General Systems Thinking. Wisley & Sons (1975)
  6. Unified Modeling Language (UML), v. 2.1.1. OMG (2007)
  7. Störrle, H.: Semantics of UML 2.0 Activities, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2004).
  8. Pons, C.: Heuristics on the definition of UML refinement patterns. SOFSEM, (2006).
  9. Rychkova, I., Wegmann, A.: A Method for Functional Alignment Verification in Hierarchical Enterprise models. BUSITAL workshop in CAiSE (2006)
  10. Rychkova, I., Wegmann, A.: Refinement propagation. Towards automated construction of visual specifications. International Conference on Enterprise Information Systems (ICEIS) (2007)
  11. Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer (1998)
  12. Feijs, L.M.G., Krikhaar R.L.: Relation algebra with multi-relations. International Journal of Computer Mathematics.(1998)
  13. Feijs, L.M.G., van Ommering, R.C: Relation partition algebra - mathematical aspects of uses and part-of relations. Science of Computer Programming (1999)
  14. Reference model of open distributed processing. Draft International Standard (DIS)(1995)
  15. Wegmann, A., Naumenko, A.: Conceptual Modeling of Complex Systems Using an RMODP Based Ontology. 5-th IEEE International Enterprise Distributed Object Computing Conference (EDOC) (2001)
  16. BPMN 1.0: Final Adopted Specification. OMG. (2006)
  17. Dori, D., Object-Process Methodology, A Holistic Systems Paradigm. Springer (2002).
  18. Dietz, J. L. G.: Enterprise Ontology Theory and Methodology. Springer (2006)
  19. Business Process Execution Language for Web Services Version 1.1. The IBM. (2004)
  20. van der Aalst, W.: Challenges in business process management: Verification of business processes using petri nets. Bulletin of the EATCS.(2003)
  21. Rumbaugh, J., Jacobson, I., and Booch, G.: The Unified Modeling Language Reference Manual, Second Edition. Addison-Wesley. (2005)
  22. OCL 2.0 Final Adopted Specification. OMG (2003)
  23. Muskens, J., Bril, R.J., Chaudron, M.R.V.: Generalizing consistency checking between software views. Conference on Software Architecture (WICSA), IEEE (2005)
Download


Paper Citation


in Harvard Style

Rychkova I. and Wegmann A. (2007). Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 138-147. DOI: 10.5220/0002435501380147


in Bibtex Style

@conference{msvveis07,
author={Irina Rychkova and Alain Wegmann},
title={Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={138-147},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002435501380147},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
SN - 978-972-8865-95-5
AU - Rychkova I.
AU - Wegmann A.
PY - 2007
SP - 138
EP - 147
DO - 10.5220/0002435501380147