{"title":"基于SEAM的合金系统分层模型实例及其形式化","authors":"A. Wegmann, Lam-Son Lê, I. Rychkova, Gil Regev","doi":"10.1109/EDOCW.2007.3","DOIUrl":null,"url":null,"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.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy\",\"authors\":\"A. Wegmann, Lam-Son Lê, I. Rychkova, Gil Regev\",\"doi\":\"10.1109/EDOCW.2007.3\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":181454,\"journal\":{\"name\":\"2007 Eleventh International IEEE EDOC Conference Workshop\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 Eleventh International IEEE EDOC Conference Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EDOCW.2007.3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 Eleventh International IEEE EDOC Conference Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EDOCW.2007.3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
