A formal dynamic architecture description language

MaRDI QIDQ5490379zbMATH OpenFDO

Authors Chang-Yun Li, Gansheng Li, Pinjie He

Publication date 4 October 2006

Full work available at URL https://semanticscholar.org/paper/ef8494b700237e64388bdb2c64f4b8462d6c0994

zbMATH Keywords

ADLcomponentdynamic behaviorhigh-order multi-type \(\pi\) calculussoftware architecture

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A modeling approach to dynamic software architecture
• Towards a calculus for dynamic architectures
• An ``abstract process approach to algebraic dynamic architecture description
• Description and implementation of dynamic software architectures: a reflective approach
• Graph-Based Design and Analysis of Dynamic Software Architectures

Cited in

(8)

• Towards a calculus for dynamic architectures
• Description and implementation of dynamic software architectures: a reflective approach
• A modeling approach to dynamic software architecture
• scientific article; zbMATH DE number 4092729 (Why is no real title available?)
• scientific article; zbMATH DE number 2050829 (Why is no real title available?)
• scientific article; zbMATH DE number 1919415 (Why is no real title available?)
• Recent Trends in Algebraic Development Techniques
• Modeling architecture description languages using AML

This page was built for publication: A formal dynamic architecture description language

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