A UML profile to support the formal presentation of software architecture

Proceedings-IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 217-223

  Hudaib, Amjad ^a   Montangero, Carlo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Oikos_adtl; Software architecture; Software architecture patterns; UML diagrams; UML extensions

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE REUSABILITY; DISTRIBUTED COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SERVERS;

SOFTWARE ARCHITECTURE; SOFTWARE ARCHITECTURE PATTERNS; UNIFIED MODELING LANGUAGE;

COMPUTER SOFTWARE;

EID: 0036389080     PISSN: 07303157     EISSN: None     Source Type: Journal    
DOI: 10.1109/CMPSAC.2002.1044555     Document Type: Article

References (24)

1. F. Buschman, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, A System of Patterns: Pattern-Oriented Software Architecture, John Wiley & Sons, Chichester, England, 2000.
2. G. Booch, UML in Action, CACM, Vol. 42, No. 10, 1999.
3. K. M. Chandy, and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, Reading Mass, 1988.
4. M. A. Cibrán, V. Mola, C. Pons, and W. M. Russo. Rigorous Description of the Syntax and Semantics of UML Collaborations, ECOOP'2000 Workshop on Defining Precise Semantics for UML. Eds. A. Moreira, J. Bruel, R. France, and S. Kent, Cannes/Sophia-Antipolis, France, 2000.
5. M. Fawler, Analysis Patterns, Addison-Wesley, Massachusetts, USA, 1997.
6. adtl, In A. Porto, and G. C. Roman, editors, COORDINATION'00, LNCS 1906, Limassol, Cyprus, 2000, pp. 232-248.
7. G. Ferrari, C. Montangero, L. Semini, and S. Semprini, Mark: A reasoning Kit for Mobility, Journal of Automated Software Engineering, 9, 2002, pp. 137-150.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns Elements of Reusable Object-Oriented Software, Addison-Wesley, Massachusetts, USA, 1994.
9. C. Hofmeister, R. L. Nord, and D. Soni, Describing Software Architecture with UML, In P. Donohoe, editor, Proc. of Working IFIP Conf. Software Architecture, Kluwer Academic Publishers, 1999, pp. 145-160.
10. A. Hudaib, and C. Montangero, Formal Patterns for Secure Software Architectures in Oikos_adtl, Workshop Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi, WSDAAL'01, Como, Italy, 2001.
11. C. Kobryn, Technical opinion: Will UML 2.0 be agile or awkward?, CACM, Vol. 45, Issue 1, Jan. 2002, pp. 107-110.
12. C. Kobryn, UML 2001: A Standardization Odyssey, CACM, Vol. 42, No. 10, 1999, pp. 29-37.
13. C. Montangero, and L. Semini, Refinement by Architectural Styles or Architecting by Refinements, Joint Proc. of the SIGSOFT '96 Workshops, Second Int. Software Architecture Workshop, California, USA, 1996, pp. 76-79.
14. C. Montangero, A Case for Refinement Calculi in Software Architecture Design, Invited position paper for ROSATEA, Int. Workshop on the Role Of Software Architecture in Testing E (and) Analysis, Marsala, 1998.
15. C. Montangero, and L. Semini, Composing Specification for Coordination, Proc. COORDINATION 99, LNCS 1594, Springer, Amsterdam, 1999, pp. 118-133.
16. OMG, OMG Unified Modeling Language Specification Ver. 1.4, http://www.omg.org, 2001.
17. F. Polack, and R. Laleau, A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems, CAiSE2001: 13th Int. Conf. on Advanced Information Systems Engineering, LNCS 2068, Interlaken, Switzerland, 2001.
18. J. Rambaugh, I. Jacobson, and B. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley Longman, Mass, USA, 1999.
19. B. Selic, On Modeling Architectural Structures with UML. ICSE 2001 Workshop on Describing Software Architecture with UML, Toronto, Canada, 2001.
20. M. Shaw, Patterns for Software Architecture, First Annual Conf. on the Pattern Languages of Programming, 1994.
21. D. Schmidt, S. Stal, H. Rohnert, and F. Buschmann, Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, Vol. 2, John Wiley & Sons, New York, USA, 2000.
22. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall Publishing, 1996.
23. H. Storrle, Turning UML-Subsystems into Architectural Units, ICSE 2001 Workshop on Describing Software Architecture with UML, Toronto, Canada, 2001.
24. A. Zarras, V. Issarny, C. Kloukinas, and V.K. Nguyen, Towards a Base UML Profile for Architecture Description, ICSE 2001 Workshop on Describing Software Architecture with UML, Toronto, Canada, 2001.