A modeling approach to dynamic software architecture

MaRDI QIDQ3516460zbMATH OpenFDO

Authors Zhenhua Yu, Yuanli Cai, Haiping Xu

Publication date 6 August 2008

zbMATH Keywords

\(\pi\)-calculus evolvingmodelingobject-oriented Petri netsoftware architecture

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A formal dynamic architecture description language
• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 2197691
• Graph-Based Design and Analysis of Dynamic Software Architectures
• Models of software architecture. Design and analysis with UML and Petri nets

Cited in

(11)

• Component management in a dynamic architecture
• Models of software architecture. Design and analysis with UML and Petri nets
• scientific article; zbMATH DE number 1810082 (Why is no real title available?)
• Graph-Based Design and Analysis of Dynamic Software Architectures
• A Framework for Developing and Analyzing Software Architecture Specifications in SAM
• scientific article; zbMATH DE number 2050825 (Why is no real title available?)
• Modelling and verification of high-order typed software architecture and case study
• scientific article; zbMATH DE number 2197691 (Why is no real title available?)
• Modelling dynamic software architectures using typed graph grammars
• A formal dynamic architecture description language
• Applications and Theory of Petri Nets 2005

This page was built for publication: A modeling approach to dynamic software architecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3516460)