Radu Mateescu, Flávio Oquendo. pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Software Engineering Notes, 31(2):1-19, 2006. [doi]
@article{MateescuO06, title = {pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures}, author = {Radu Mateescu and Flávio Oquendo}, year = {2006}, doi = {10.1145/1118537.1118541}, url = {http://doi.acm.org/10.1145/1118537.1118541}, tags = {software architecture, architecture, analysis}, researchr = {https://researchr.org/publication/MateescuO06}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {31}, number = {2}, pages = {1-19}, }