A method to transform object-oriented design into component-based design using object-Z

Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05) Pub Date : 2005-08-11 DOI:10.1109/SERA.2005.11

S. Shin, Soo Dong Kim

{"title":"A method to transform object-oriented design into component-based design using object-Z","authors":"S. Shin, Soo Dong Kim","doi":"10.1109/SERA.2005.11","DOIUrl":null,"url":null,"abstract":"It has become a common practice to reuse validated software components to shorten development periods and to increase the software quality. Component-based development is an effective reuse technology, which extensively utilizes object-oriented design (OOD). Therefore, it is an economical approach to generate component-based design (CBD) from OOD. In this paper, we propose techniques for transforming OOD into CBD using Object-Z specifications. We first show how the structural, functional, and dynamic aspects of OOD can be specified in Object-Z. Then, we also present formal specifications of CBD in Component-Z, which is based on Object-Z and used to specify CBD. Using formal specifications of both OOD and CBD, we propose a set of rules for transforming OOD into CBD. By using our approach, OOD can be reused in generating CBD and the resulting CBD can be effectively implemented by utilizing objects in EJB, .NET, or CORBA. Also, this research provides a foundation for automating the transformation of OOD into CBD.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERA.2005.11","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

Abstract

It has become a common practice to reuse validated software components to shorten development periods and to increase the software quality. Component-based development is an effective reuse technology, which extensively utilizes object-oriented design (OOD). Therefore, it is an economical approach to generate component-based design (CBD) from OOD. In this paper, we propose techniques for transforming OOD into CBD using Object-Z specifications. We first show how the structural, functional, and dynamic aspects of OOD can be specified in Object-Z. Then, we also present formal specifications of CBD in Component-Z, which is based on Object-Z and used to specify CBD. Using formal specifications of both OOD and CBD, we propose a set of rules for transforming OOD into CBD. By using our approach, OOD can be reused in generating CBD and the resulting CBD can be effectively implemented by utilizing objects in EJB, .NET, or CORBA. Also, this research provides a foundation for automating the transformation of OOD into CBD.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

一种利用object-Z将面向对象设计转换为基于组件设计的方法

重用经过验证的软件组件以缩短开发周期和提高软件质量已经成为一种常见的实践。基于组件的开发是一种有效的复用技术，它广泛地应用了面向对象设计(OOD)。因此，从OOD中生成基于组件的设计(CBD)是一种经济的方法。在本文中，我们提出了使用Object-Z规范将OOD转换为CBD的技术。我们首先展示如何在Object-Z中指定OOD的结构、功能和动态方面。然后，我们还在Component-Z中提出了CBD的形式化规范，该规范基于Object-Z，用于指定CBD。利用OOD和CBD的正式规范，我们提出了一套OOD转化为CBD的规则。通过使用我们的方法，OOD可以在生成CBD时重用，并且可以通过利用EJB、。net或CORBA中的对象有效地实现生成的CBD。同时，本研究也为OOD向CBD的自动化转化提供了基础。

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

求助全文

约1分钟内获得全文去求助

来源期刊

Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)

自引率

0.00%

发文量