International Journal of Computer Applications |
Foundation of Computer Science (FCS), NY, USA |
Volume 8 - Number 10 |
Year of Publication: 2010 |
Authors: M. Benammar, F. Belala |
10.5120/1243-1756 |
M. Benammar, F. Belala . Article:How to Make AADL Specification More Precise. International Journal of Computer Applications. 8, 10 ( October 2010), 16-23. DOI=10.5120/1243-1756
AADL (Architectural Analysis and Design Language) is a textual and graphical language used to design and analyze software architecture of embedded real time systems. Many tools and models provide semantics and precise meaning for AADL architecture behavior. However, they are not supported by a well defined formal semantics. This paper suggets Rewriting Logic via its practical language Maude as an adequate formalism for modeling behavior concepts in an AADL architectural description. Besides, RT-Maude system offers a natural support to execute and prototype real-time object-oriented modules formalizing AADL architecture behavior composed of several communicating threads.