摘要
软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。
Software architecture is an emerging study focus.There isn't any general specification.In that,consistency,in-tegrity,and correctness of software architecture can't be guaranteed.This paper presents a theory extending Petri net,some concepts on abstract place and abstract transition.That provides some possibilities of hiding information and ab-stracting control flow.And meanwhile,the paper detailedly describes the mechanism of inheritance expressed in Petri net,and incorporates the powerful and integrated capacity of description,precise validating system.So,supplies a kind of simple but complete net-based description method for software architecture.
出处
《计算机工程与应用》
CSCD
北大核心
2002年第24期114-117,共4页
Computer Engineering and Applications
