Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.
Zhiming ChangXinJun MaoZhichang QiPublished in: WICSA (2008)
Keyphrases
- formal model
- software architecture
- dynamic reconfiguration
- low cost
- description language
- reference model
- hardware implementation
- software development
- architectural design
- software engineering
- software systems
- functional requirements
- distributed systems
- embedded software
- design patterns
- security properties
- general purpose
- security requirements
- formal models
- predicate calculus
- product line
- autonomous agents
- high level