A Formal Approach to Specifying Architecture Aspects and Their Weaving logic.
Chunhua YangJiancheng WanPublished in: SNPD (2) (2007)
Keyphrases
- formal model
- management system
- software architecture
- formal language
- formal logic
- modal logic
- network architecture
- formal specification
- multi valued
- layered architecture
- reasoning engine
- logic synthesis
- information systems
- rule engine
- highly expressive
- asynchronous circuits
- mathematical theory
- natural language interface
- operational semantics