Cosastudio: A Software Architecture Modeling Tool

A key aspect of the design of any software system is its architecture. An architecture description provides a formal model of the architecture in terms of components and connectors and how they are composed together. COSA (Component-Object based Software Structures), is based on object-oriented modeling and component-based modeling. The model improves the reusability by increasing extensibility, evolvability, and compositionality of the software systems. This paper presents the COSA modelling tool which help architects the possibility to verify the structural coherence of a given system and to validate its semantics with COSA approach.




References:
[1] G. Booch, J. Rumbaugh., I. Jacobson, The Unified Modeling Language
User Guide. Addison-Wesley Professional, Reading, Massachusetts,
(1998).
[2] P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, , R.
Nord, J. Stafford, Documenting Software Architectures: Views and
Beyond. Boston, MA, Addison-Wesley, (2002)
[3] M. Oussalah, A. Smeda, T. Khammaci, An explicit definition of
connectors for component based software architecture. In: Proceedings
of the 11th IEEE Conference Engineering of Computer Based Systems,
Czech Republic (May 2004)
[4] I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven
Approach. Addison Wesley Professional. (1992).
[5] OMG, Unified Modeling Language Specification V.1.4.
http://www.omg.org/docs/formal/01-09-67.pdf , Sept 2001.
[6] Alti A., Khammaci T., Smeda A., Representing and Formally Modeling
COSA software architecture with UML 2.0 profile. IRECOS Review,
2007, 2(1): 30-37.
[7] Garlan D., Monroe R.T., and While D., Acme: Architectural Description
of Component-Based Systems. G.T. Leavens and M. Sitaraman, Eds,
Cambridge University, 2000.
[8] Medvidovic, N., Taylor, R.N.: A Classification and Comparison
Framework for Software Architecture Description Languages. IEEE
Transactions on Software Engineering, Vol. 26. N┬░. 1. 2-57, 2000.
[9] Amirat A., Oussalah M., "Enhanced Connectors to Support Hierarchical
Dependencies in Software Architecture", 5th NOTERE-08 International
Conference on New Technologies in Distributed Systems, Lyon, France,
Voluome.1, pp. 252-261, June 23-27, 2008.
[10] Moore B., Eclipse Development using the Graphical Editing Framework
and the Eclipse Modeling Framework, I. Redbooks, 2004.
[11] Garlan D., Monroe R.T., and While D., Acme: Architectural Description
of Component-Based Systems. G.T. Leavens and M. Sitaraman, Eds,
Cambridge University, 2000.
[12] Luckham D.C., Augustin L.M., "Specification and Analysis of System
architecture using Rapide," IEEE Transactions on Software Engineering,
1995, 21(1): pp. 336 - 355.
[13] Smeda A., Oussalah M., and Khammaci T., "A Multi-Paradigm
Approach to Describe Complex Software System", WSEAS
Transactions on Computers, Issue 4, Vol., 3, pp. 936-941, October 2004.
[14] Rational Software Modeler, http://www-
128.ibm.com/developerworks/downloads/r/rswm
[15] Amirat A., Oussalah M., "Enhanced Connectors to Support Hierarchical
Dependencies in Software Architecture", 5th NOTERE-08 International
Conference on New Technologies in Distributed Systems, Lyon, France,
Voluome.1, pp. 252-261, June 23-27, 2008.