Measuring attributes of concurrent software specifications in Petri nets

S. Morasca
{"title":"Measuring attributes of concurrent software specifications in Petri nets","authors":"S. Morasca","doi":"10.1109/METRIC.1999.809731","DOIUrl":null,"url":null,"abstract":"Specifications play a crucial role in the development of many types of software systems. Formal specification techniques are often used to help ensure that the requirements are correctly captured and to prove or check properties of the developed software. This is especially true in systems such as concurrent software systems, due to the critical nature that such systems may have. Though the growing importance of the specification phase shows the emerging need for extending measurement to it, few measures have been defined for software specifications. The main reason is that specifications have often been written in informal languages, which made it hard to define and collect measures for software specifications. Instead, formal specifications would have a great potential for being measured. The paper proposes a set of measures for capturing a number of internal attributes (i.e., size, length, complexity, and coupling) of software specifications written with Petri nets, a well known formal technique for modeling concurrent systems. These measures are theoretically validated against a collection of sets of properties that have been proposed in the literature. This theoretical validation provides supporting evidence that the measures really capture the internal attributes they purport to measure. This is a necessary precondition in the development of a set of measures for the internal attributes of concurrent software specifications.","PeriodicalId":372331,"journal":{"name":"Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"38","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/METRIC.1999.809731","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 38

Abstract

Specifications play a crucial role in the development of many types of software systems. Formal specification techniques are often used to help ensure that the requirements are correctly captured and to prove or check properties of the developed software. This is especially true in systems such as concurrent software systems, due to the critical nature that such systems may have. Though the growing importance of the specification phase shows the emerging need for extending measurement to it, few measures have been defined for software specifications. The main reason is that specifications have often been written in informal languages, which made it hard to define and collect measures for software specifications. Instead, formal specifications would have a great potential for being measured. The paper proposes a set of measures for capturing a number of internal attributes (i.e., size, length, complexity, and coupling) of software specifications written with Petri nets, a well known formal technique for modeling concurrent systems. These measures are theoretically validated against a collection of sets of properties that have been proposed in the literature. This theoretical validation provides supporting evidence that the measures really capture the internal attributes they purport to measure. This is a necessary precondition in the development of a set of measures for the internal attributes of concurrent software specifications.
Petri网中并发软件规范属性的度量
规格说明在许多类型的软件系统的开发中起着至关重要的作用。通常使用正式的规格说明技术来帮助确保正确捕获需求,并证明或检查所开发软件的属性。在并发软件系统这样的系统中尤其如此,因为这类系统可能具有关键的性质。尽管规格说明阶段日益增长的重要性显示了对扩展度量的新需求,但是为软件规格说明定义的度量很少。主要原因是规范通常是用非正式的语言编写的,这使得定义和收集软件规范的度量变得困难。相反,正式的规范将具有被度量的巨大潜力。本文提出了一组方法,用于捕获用Petri网编写的软件规范的许多内部属性(即大小、长度、复杂性和耦合),Petri网是一种众所周知的用于对并发系统建模的形式化技术。这些措施在理论上是针对文献中提出的一系列属性集进行验证的。这一理论验证提供了支持性证据,证明度量确实捕获了它们声称要度量的内部属性。这是为并发软件规范的内部属性开发一组度量的必要前提。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信