%0 Journal Article %1 oquendo_formally_2006 %A Oquendo, Flavio %D 2006 %J SIGSOFT Softw. Eng. Notes %K -ADL}, 2.0 Architecture Description Language, architecture modelling, profile software {UML} {\π %N 1 %P 1--13 %R 10.1145/1108768.1108773 %T Formally modelling software architectures with the UML 2.0 profile for &\#960;-ADL %U http://0-doi.acm.org.innopac.up.ac.za/10.1145/1108768.1108773 %V 31

@article{oquendo_formally_2006, added-at = {2013-02-28T11:13:35.000+0100}, author = {Oquendo, Flavio}, biburl = {https://www.bibsonomy.org/bibtex/209a47effcd9e3cdb346524c6f838cfd9/fritzsolms}, doi = {10.1145/1108768.1108773}, interhash = {9be97c391440a0a7d7d41763f3acce61}, intrahash = {09a47effcd9e3cdb346524c6f838cfd9}, issn = {0163-5948}, journal = {{SIGSOFT} Softw. Eng. Notes}, keywords = {-ADL}, 2.0 Architecture Description Language, architecture modelling, profile software {UML} {\π}, month = jan, number = 1, pages = {1--13}, review = {{SUMMARY} {(Fritz)} Define {pi-ADL}, a {UML-2} profile for describing architectures using pi-calculus based process specification. Core concepts: - architecture described ito components, connectors \& their composition - components \& connectors are formally specified ito typed abstractions over behaviour - Components = locus of computation described ito external ports \& internal behaviour - Port = connection btw component \& its environment - Connections are interaction points providing communication channel btw 2 architectural elements (input, output, inout). - Both, components \& connectors comprise ports \& behaviour (port of component attached to port of connector) - Components \& connectors can be composed to construct composite elements which are themselves either components or connectors Claims: - {UML} 2 has no specialized constructs for components \& connectors (both modeled using same basic elements \& mechanisms)}, timestamp = {2013-02-28T11:14:03.000+0100}, title = {{Formally modelling software architectures with the {UML} 2.0 profile for {\&\#960;-ADL}}}, url = {http://0-doi.acm.org.innopac.up.ac.za/10.1145/1108768.1108773}, volume = 31, year = 2006 }