Abstract
Nowadays, no standard and universal definition of software architecture was accepted by all the community. Various points of view on different studies bring to several approaches. These approaches focus on only one or two concerns such as component interfaces specification, behavioral analysis or software reconfiguration. This paper argues that, in order to accrue the true benefits of software architecture approaches, one may need to use an architecture centric approach with a global reasoning: From software architecture design to software architecture management to software architecture building, deployment and refinement. However, these different concerns of a software architecture definition must be in consistency. For this reason, we based our approach on architecture types that are points of reference at each step of our reasoning. We offer with SafArchie Studio, a first architecture centric approach based on three-view perspective and driven by the component life cycle.
Chapter PDF
References
J. Aldrich, C. Chambers, and D. Notkin. Architectural Reasoning in Archjava. In Proceedings ECOOP 2002, volume 2374 of LNCS, pages 334–367, Malaga, Spain, june 2002. Springer Verlag.
J. Aldrich, C. Chambers, and D. Notkin. ArchJava: Connecting Software Architecture to Implementation. In Proceedings of the 24th International Conference on Software Engineering (ICSE-02), pages 187–197, New York, May 19–25 2002. ACM Press.
R. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, Janvier 1997. Issued as CMU Technical Report CMU-CS-97-144.
R. Allen, R. Douence, and D. Garlan. Specifying Dynamism in Software Architectures. In Proceedings of the First Workshop on the Foundations of Component-Based Systems, Zurich, Switzerland, Septembre 1997.
O. Barais and L. Duchien. SafArch: Maîtriser l'Evolution d'une Architecture Logicielle. In Langages, Modeles, Objets — Journees Composants (LMO-JC04), Lille, France, Mars 2004. Hermes Sciences.
O. Barais, L. Duchien, and R. Pawlak. Separation of Concerns in Software Modeling: A Framework for Software Architecture Transformation. In IASTED International Conference on Software Engineering Applications (SEA), pages 663–668, Los Angeles, USA, november 2003. ACTA Press. ISBN 0-88986-394-6.
[7]_E. Bruneton, T. Coupaye, and J.B. Stefani. The Fractal Component Model, version 2.0-3. Online documentation http://fractal.objectweb.org/specification/, February 2004.
[8]_F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. Lopez, and G. Puebla. The Ciao Prolog System. Technical University of Madrid, June 2002.
[9]_S. C. Cheung, D. Giannakopoulou, and J. Kramer. Verification of Liveness Properties using Compositional Reachability Analysis. In Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, pages 227–243. Springer-Verlag New York, Inc., 1997.
[10]_EM. Dashofy, A. Van Der Hoek, and R.N. Taylor. An Infrastructure for the Rapid Development of XML-based Architecture Description Languages. In Proceedings of the 24th International Conference on Software Engineering (ICSE2002), Orlando, Florida, 2002.
[11]_L.G. DeMichiel. Entreprise Javabeans Specification, version 2.1. Online documentation http://java.sun.com/products/ejb/docs.html, June 2002.
[12]_D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, volume 1, pages 1–40. World Scientific Publishing Company, 1993.
[13]_G. Heineman and W. Councill, editors. Component-Based Software Engineering, Putting the Pieces Together. Addison-Westley, 2001. ISBN: 0-201-70485-4.
[14]_H. Hussmann, F. Finger, and R. Wiebicke. Using Previous Property Values in OCL Post-conditions — An Implementation Perspective. In International Workshop UML 2.0 — The Future of the UML Constraint Language OCL, York, UK, October 2 2000. http.//dresdenocl.sourceforge.net/.
[15]_J.M. Jezequel and B. Meyer. Object Technology: Design by Contract: The Lessons of Ariane. Computer, 30(1):129–130, January 1997.
[16]_G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP, volume 1241, pages 220–242. Springer-Verlag, 1997.
[17]_J. Magee. Behavioral Analysis of Software Architectures using LTSA. In Proceedings of the 21st international conference on Software engineering, pages 634–637. IEEE Computer Society Press, 1999.
[18]_J. Magee and J. Kramer. Concurrency. State Models and Java Programs. wiley, 1999.
[19]_J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour Analysis of Software Architectures. In 1st Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, USA, 22–24 February 1999.
[20]_B. Meyer. Applying “Design by Contract”. Computer, 25(10):40–51, October 1992.
[21]_R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
[22]_OMG. CORBA Component Model, v3.0. Online documentation http://www.omg.org, June 2002.
[23]_OMG. OMG Object Constraint Language specification, version 2.0. http://www.omg.org/docs/ptc/03-10-14.pdf, October 2003.
[24]_J.E. Robbins and D.M. Hilbert D.F. Redmiles. Using Critics to Analyze Evolving Architectures. In Second International Software Architecture Workshop held at SigSoft'96, 1996.
[25]_R. Soley. MDA, an introduction. Online documentation http://www.omg.org/mda/mda.files/Soley-MDA/MDA-Seminar-Soley.htm, 2002.
[26]_C. Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, NY, 1998.
[27]_L. Tolke and M. Klink. Cookbook for Developers of ArgoUML, an Introduction to Developing ArgoUML, March 2004.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Barais, O., Duchien, L. (2005). Safarchie Studio: ArgoUML Extensions to Build Safe Architectures. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds) Architecture Description Languages. IFIP WCC TC2 2004. IFIP The International Federation for Information Processing, vol 176. Springer, Boston, MA. https://doi.org/10.1007/0-387-24590-1_6
Download citation
DOI: https://doi.org/10.1007/0-387-24590-1_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-24589-8
Online ISBN: 978-0-387-24590-4
eBook Packages: Computer ScienceComputer Science (R0)