软件体系结构模型的范畴表示

Categorical Representation of Describe Software Architecture Models

下载PDF

导出

摘要本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.

作者何智勇贲可荣

机构地区海军工程大学电子工程学院

出处《计算机工程与科学》 CSCD 2006年第z2期169-169,176,共2页 Computer Engineering & Science

基金国家自然科学基金资助项目(60473066)

关键词体系结构范畴 Perri网

参考文献6

1[1]C Lakos.Composing Abstractions of Coloured Petri Nets[A].ICATPN 2000(LNCS 1825)[C].2000.323-342.
2[2]D G Stork,van Glabbeek R.Token-Controlled Place Refinement in Hierachical Petri Nets with Application to Active Document Workflow[A].ICATPN 2002(LICS 2360)[C].2002.394-413.
3[3]J Padberg,M Gajewsky,C Ermel.Rule-Based Refinement of High-Level Nets Preserving Safety Properties[J].Science of Computer Programming,2001,40:97-118.
4[4]W Reisig.Petri Nets:An Introduction[M].Berlin,Heidelberg:Spring-Verlag,1985.
5[5]V Atlufi,W K Huang A Petri Net Based Safety Analysis of Work Flow Authorization Models[J].Journal of Computer Security,2000,8(2).
6[6]X He,Y Deng.A Framework for Developing and Analyzing Software Architecture Specifications in Sam[J].The Cornputer Journal,2002,45(1):111-128.

计算机工程与科学

2006年第z2期

内容加载中请稍等...