Publication

An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Alain Wegmann, Gil Regev
2007
Conference Papers

Abstract

SEAM is an enterprise architecture method based on RM-ODP part 2. In this paper, we present an example of a SEAM hierarchical model where the behavioral part is formalized in Alloy. We introduce four kinds of actions and their relationships to properties that specify object state. We show that the Alloy formalization enables us to check that the SEAM model conforms to the required aspects of the universe of discourse.

Official source

https://infoscience.epfl.ch/entities/publication/e8f15736-3d53-4304-8781-13e6a74b1cbd

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Chat with Graph Search

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Variability is the rule: Neurophysiology and contextual visual processing in schizophrenia