微信服务号

微信订阅号

2025-4-22- 19
Home > Archive>Volume 17, Issue 6, 2006 >1287-1297
PDF HTML XML Export Cite reminder
Formal Semantic of Architecture-Centric Component Model
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [18]
    • |
  • Related
    • |
  • Cited by [4]
    • | |
  • Comments
    Abstract:

    Existing software development approaches construct component model in an unstructured and informal way, and the dependencies among components are implicit and lack rigorous semantic. They don’t support top-down component reuse effectively. This paper tries to address these problems by using category theory to define the links between components, so that the links between components and the link compositions have rigorous meaning. The morphism composition is used to trace the relationships between components at different abstraction levels, and the architecture design pattern is used to define component composition and constrains precisely. Category theory supports the diagrammatic representation of component model that visualizes the relationships between components and the structural feature. The constructed component model is understandable, traceable, and hence reusable. Formal component modeling approach is suitable to the software development for reuse.

    Reference
    [1]Rothenberger MA,Dooley KJ,Kulkarni UR,Nada N.Strategies for software reuse:A principal component analysis of reuse practices.IEEE Trans.on Software Engineering,2003,29(9):825-837.
    [2]Baum L,Becker M,Geyer L,Molter G.Using software architecture as a catalyst for reuse.1998.http://www.agss.informatik,uni-kl.de/mitarbeiter//baum/publications/papers
    [3]Han J.An approach to software component specification.In:Proc.of the Int'l Workshop on Component-Based Software Engineering.1999.97-102.http://www.it.swin.edu.au/personal/jhan/jhanPapers/cbse99.pdf
    [4]Knethen AV,Peach B.A survey on tracing approaches in practice and research.Technical Report,No.095.01/E (Version 1.0),2002.
    [5]Stout GA.Requirements traceability and the effect on the system development lifecycle (SDLC).Technical Report,DISS 725,Spring Cluster,2001.
    [6]Clements PC,Northrop LM.Software architecture:An executive overview.Technical Report,CMU/SEI-96-TR-003,Carnegie Mellon University,1996.
    [7]Baum L,Becker M,Geyer L,Molter G.A process view on architecture-based software development.1999.http://www.ece.utexas.edu/～perry/prof/wicsal/final
    [8]Guo J.Using category theory to model software component dependencies.In:Proc.of the 9th Annual IEEE Int'l Conf.and Workshop on the Engineering of Computer-Based Systems (ECBS 2002).IEEE Computer Society,2002.185-192.
    [9]Mei H,Chen F,Feng YD,Yang J.ABC:An architecture based,component oriented approach to software development.Journal of Software,2003,14(4):721-732 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/14/721.htm
    [10]Liu DY,Mei H.Mapping requirements to software architecture by feature-orientation.In:Proc.of the 2nd Int'l Software Requirements to Architectures Workshop.2003.69-76.http://se.uwaterloo.ca/～straw03/finals/LiuMei.pdf
    [11]Bachmann F,Bass L,Chastek G,Donohoe P,Peruzzi F.The architecture based design method.Technical Report,CMU/SEI-2000-TR-001,Carnegie Mellon University,2000.
    [12]Chu W,Qian DP,Liu CD.Architecture-Centric software process for software reuse.In:He JH,Zeyu GJ,Xiao CB,eds.Proc.of the 8th Int'l Conf.for Young Computer Scientists.Beijing:Int'l Academic Publishers/Beijing Word Publishing Corp.,2005.217-222.
    [13]Chu W,Qian DP.Pattern oriented software development for software reuse.Journal of Nanjing University (Natural Sciences),2005,41 (Computer Issue):743-748 (in Chinese with English abstract).
    [14]Fiadeiro JL,Maibaum T.A mathematical toolbox for the software architect.1996.http://www.fiadeiro.org/jose/papers
    [15]Roudiès O,Fredj M.A reuse based approach for requirements engineering.In:Proc.of the IEEE Int'l Conf.on Computer Systems and Applications.Los Alamitos:IEEE Computer Society,2001.448-450.
    [16]Svetinovic D.Architecture-Level requirements specification.In:Proc.Of the 2nd Int'l Software Requirements to Architectures Workshop.2003.14-19.Http://se.uwaterloo.Ca/～straw03/finals/Svetinovic.pdf
    [9]梅宏,陈锋,冯耀东,杨杰.ABC:基于体系结构,面向构件的软件开发方法.软件学报,2003,14(4):721-732.http://www.jos.org.cn/1000-9825/14/721.htm
    [13]楚旺,钱德沛.支持软件重用的面向模式的软件开发方法.南京大学学报(自然科学),2005,41(计算机专辑):743-748.
    Related
Get Citation

楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义.软件学报,2006,17(6):1287-1297

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:December 15,2005
  • Revised:March 28,2006
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2037283Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063