一个使用SOFL指定并发软件系统的案例研究

2010 IEEE International Conference on Software Engineering and Service Sciences Pub Date : 2010-07-16 DOI:10.1109/ICSESS.2010.5552303

Yuting Chen

{"title":"一个使用SOFL指定并发软件系统的案例研究","authors":"Yuting Chen","doi":"10.1109/ICSESS.2010.5552303","DOIUrl":null,"url":null,"abstract":"SOFL, a formal engineering method which was designed by integrating different notations and techniques, can be used for specification and verification of large-scale software systems. Regions and channels can also be introduced to the SOFL language so that concurrency can be easily specified in the specification of a concurrent software system. In this paper we present a case study of using SOFL specification language for specifying a concurrent software system in order to show the usability of regions and channels in modeling. We also discuss some important issues about the specifications of concurrent software systems.","PeriodicalId":264630,"journal":{"name":"2010 IEEE International Conference on Software Engineering and Service Sciences","volume":"110 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"A case study of using SOFL to specify a concurrent software system\",\"authors\":\"Yuting Chen\",\"doi\":\"10.1109/ICSESS.2010.5552303\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"SOFL, a formal engineering method which was designed by integrating different notations and techniques, can be used for specification and verification of large-scale software systems. Regions and channels can also be introduced to the SOFL language so that concurrency can be easily specified in the specification of a concurrent software system. In this paper we present a case study of using SOFL specification language for specifying a concurrent software system in order to show the usability of regions and channels in modeling. We also discuss some important issues about the specifications of concurrent software systems.\",\"PeriodicalId\":264630,\"journal\":{\"name\":\"2010 IEEE International Conference on Software Engineering and Service Sciences\",\"volume\":\"110 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-07-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE International Conference on Software Engineering and Service Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSESS.2010.5552303\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE International Conference on Software Engineering and Service Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSESS.2010.5552303","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

SOFL是一种将不同的符号和技术相结合而设计的形式化工程方法，可用于大型软件系统的说明和验证。还可以在SOFL语言中引入区域和通道，以便在并发软件系统的规范中方便地指定并发性。在本文中，我们提出了一个使用SOFL规范语言来指定并发软件系统的案例研究，以显示区域和通道在建模中的可用性。我们还讨论了并发软件系统规范的一些重要问题。

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

查看原文本刊更多论文

A case study of using SOFL to specify a concurrent software system

SOFL, a formal engineering method which was designed by integrating different notations and techniques, can be used for specification and verification of large-scale software systems. Regions and channels can also be introduced to the SOFL language so that concurrency can be easily specified in the specification of a concurrent software system. In this paper we present a case study of using SOFL specification language for specifying a concurrent software system in order to show the usability of regions and channels in modeling. We also discuss some important issues about the specifications of concurrent software systems.

求助全文

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

来源期刊

2010 IEEE International Conference on Software Engineering and Service Sciences

自引率

0.00%

发文量