对UML图及其一致性的描述

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI:10.1109/ICECCS.2006.78

Xiaoshan Li

{"title":"对UML图及其一致性的描述","authors":"Xiaoshan Li","doi":"10.1109/ICECCS.2006.78","DOIUrl":null,"url":null,"abstract":"In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"A characterization of UML diagrams and their consistency\",\"authors\":\"Xiaoshan Li\",\"doi\":\"10.1109/ICECCS.2006.78\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics\",\"PeriodicalId\":269321,\"journal\":{\"name\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-08-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.2006.78\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.2006.78","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

本文重点给出了UML2.0序列图的形式化语义。系统的模型包括一组程序变量、一个类图、一组常规序列图、一组常规状态图和一个状态约束。然后定义由形式语义支持的静态和动态一致性

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A characterization of UML diagrams and their consistency

In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)

自引率

0.00%

发文量