面向对象设计模型中数据流的形式化与分析

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI:10.1109/ISORC.2005.28

Toshiaki Aoki, T. Katayama

{"title":"面向对象设计模型中数据流的形式化与分析","authors":"Toshiaki Aoki, T. Katayama","doi":"10.1109/ISORC.2005.28","DOIUrl":null,"url":null,"abstract":"In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to analyze dataflows in OO design models with the model checker Spin after formalizing them.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"139 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formalization and analysis of dataflow in object-oriented design models\",\"authors\":\"Toshiaki Aoki, T. Katayama\",\"doi\":\"10.1109/ISORC.2005.28\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to analyze dataflows in OO design models with the model checker Spin after formalizing them.\",\"PeriodicalId\":377002,\"journal\":{\"name\":\"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)\",\"volume\":\"139 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORC.2005.28\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2005.28","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在面向对象开发的上游阶段，我们通常从多个角度对目标系统建模。数据流视图已经被认为是软件工程中最重要的视图之一。我们需要将数据流模型与OO模型联系起来，并检查它们之间的一致性，因为即使我们采用面向对象的方法，一致性仍然很重要。本文提出了一种利用模型检查器Spin对面向对象设计模型中的数据流进行形式化分析的方法。

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

查看原文本刊更多论文

Formalization and analysis of dataflow in object-oriented design models

In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to analyze dataflows in OO design models with the model checker Spin after formalizing them.

求助全文

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

来源期刊

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)

自引率

0.00%

发文量