关键词: 需求模型,软件体系结构,通信进程代数,Petri网,行为

Abstract: The transformation from requirements models to software architecture (SA) models is a hot topic in software engineering．Based on the ACP (Algebra of Communicating Processes) style requirements models set up by DERM (Dynamic Evolution Oriented Requirements Meta-model),an approach of the transformation from requirements models to software architecture models was proposed．The approach takes the Petri nets style SA models as the objective of transformation,and the behavior-mapping as the foundation of transformation．Firstly,the framework of the transformation was discussed．Secondly,the nodes of the behavior feature models were transformed into components and connectors of the SA models,and the counterpoint of the transformation rules was brought forward．Thirdly,the transformation of active property features in property feature models was discussed,and the strategy of sub-systems partition was put forward．Finally,feasibility and effectiveness of the proposed method were exhibited through a case study.

Key words: Requirements models,Software architecture,Algebra of Communicating Processes,Petri nets,Behavior