作为实时系统的软件过程:使用高级Petri网的案例研究

Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings] Pub Date : 1992-04-01 DOI:10.1109/PCCC.1992.200598

S. Bandinelli, A. Fuggetta, C. Ghezzi

{"title":"作为实时系统的软件过程:使用高级Petri网的案例研究","authors":"S. Bandinelli, A. Fuggetta, C. Ghezzi","doi":"10.1109/PCCC.1992.200598","DOIUrl":null,"url":null,"abstract":"The authors explore the analogy between software processes and real-time systems by discussing the applicability of a formalism developed for real-time systems specification to the specification and enactment of software processes. The formalism, called ER nets, is based on Petri nets. A specialization of ER nets for this new application area is introduced, and its applicability is discussed through a case study. Ongoing research directions are outlined.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"29","resultStr":"{\"title\":\"Software processes as real-time systems: a case study using high-level Petri nets\",\"authors\":\"S. Bandinelli, A. Fuggetta, C. Ghezzi\",\"doi\":\"10.1109/PCCC.1992.200598\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors explore the analogy between software processes and real-time systems by discussing the applicability of a formalism developed for real-time systems specification to the specification and enactment of software processes. The formalism, called ER nets, is based on Petri nets. A specialization of ER nets for this new application area is introduced, and its applicability is discussed through a case study. Ongoing research directions are outlined.<<ETX>>\",\"PeriodicalId\":250212,\"journal\":{\"name\":\"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"29\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PCCC.1992.200598\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCCC.1992.200598","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 29

摘要

作者探讨了软件过程和实时系统之间的类比，讨论了为实时系统规范开发的一种形式主义对软件过程的规范和制定的适用性。这种形式被称为ER网，是基于Petri网。介绍了面向这一新的应用领域的ER网络的专门化，并通过一个案例研究讨论了其适用性。概述了正在进行的研究方向。

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

查看原文本刊更多论文

Software processes as real-time systems: a case study using high-level Petri nets

The authors explore the analogy between software processes and real-time systems by discussing the applicability of a formalism developed for real-time systems specification to the specification and enactment of software processes. The formalism, called ER nets, is based on Petri nets. A specialization of ER nets for this new application area is introduced, and its applicability is discussed through a case study. Ongoing research directions are outlined.<>

求助全文

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

来源期刊

Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]

自引率

0.00%

发文量