G. Padilla, F. Bastani, C. M. D. Oca, Miguel A. Serrano
{"title":"消息序列图的实例化语义","authors":"G. Padilla, F. Bastani, C. M. D. Oca, Miguel A. Serrano","doi":"10.1109/ENC.2006.19","DOIUrl":null,"url":null,"abstract":"Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc. A multiplicity is a modeling construct that is used to define constraints in the existential relationships between entities and it is frequently found in static models, such as class or entity diagrams. This paper describes a formal approach for formalizing the combination of MSCs with multiplicities. The formalization is achieved by defining an instantiation partial function that provides a clear interpretation of how to instantiate MSCs with multiplicities. The formalization uses composition operators that are used to formalize inline expressions (a well-known MSCs modeling construct). This formalization is designed to allow integration with the current formal semantics proposed for MSCs","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Instantiation Semantics for Message Sequence Charts\",\"authors\":\"G. Padilla, F. Bastani, C. M. D. Oca, Miguel A. Serrano\",\"doi\":\"10.1109/ENC.2006.19\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc. A multiplicity is a modeling construct that is used to define constraints in the existential relationships between entities and it is frequently found in static models, such as class or entity diagrams. This paper describes a formal approach for formalizing the combination of MSCs with multiplicities. The formalization is achieved by defining an instantiation partial function that provides a clear interpretation of how to instantiate MSCs with multiplicities. The formalization uses composition operators that are used to formalize inline expressions (a well-known MSCs modeling construct). This formalization is designed to allow integration with the current formal semantics proposed for MSCs\",\"PeriodicalId\":432491,\"journal\":{\"name\":\"2006 Seventh Mexican International Conference on Computer Science\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 Seventh Mexican International Conference on Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ENC.2006.19\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 Seventh Mexican International Conference on Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ENC.2006.19","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Instantiation Semantics for Message Sequence Charts
Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc. A multiplicity is a modeling construct that is used to define constraints in the existential relationships between entities and it is frequently found in static models, such as class or entity diagrams. This paper describes a formal approach for formalizing the combination of MSCs with multiplicities. The formalization is achieved by defining an instantiation partial function that provides a clear interpretation of how to instantiate MSCs with multiplicities. The formalization uses composition operators that are used to formalize inline expressions (a well-known MSCs modeling construct). This formalization is designed to allow integration with the current formal semantics proposed for MSCs