192 B. PÂRV, I. LAZĂR, S. MOTOGNA, I-G. CZIBULA, C-L. LAZĂR(1) Figure 1. Representation of objects in repositories in great detail UML stereotypes aimed to define these new constructs included in the modeling language. DEFSYS and VALSYS were initially considered as tools for developing/verifying and validating software systems by assembling components taken from component repositories. Later on, by adopting a test-driven development method, these two subprocesses (component definition and system definition) were considered as a whole, and DEFCOMP and VALCOMP tools address all needed functionality. This way, the functionality of ComDeValCo workbench covers both component/software system development/verification and validation activities. These results are described in more detail in [2, 7]. 4. Conclusions and Further Work This paper describes procedural and modular aspects of the ComDeValCo project. Future developments of the framework will include object-oriented and component-based issues, as well as repository management and system-level tools. These steps are considered within the planned evolution of the ComDeValCo framework, which include activities for improving the modeling language and component repository infrastructure, as well as continuous maintenance of the tools aimed to operate in the component/system definition, validation, evaluation, and simulation. Acknowledgements This work was supported by the grant ID 546, sponsored by NURC - Romanian National University Research Council (CNCSIS). References [1] Czibula, I-G., Lazăr, C-L, Prv, B., Motogna, S., Lazăr, I, ComDeValCo Tools for Procedural Paradigm, Proc. Int. Conf. on Computers, Communications and Control (ICCC 2008), Felix Spa, Romania, 15-17 May, 2008, (Int. J. of Computers, Communications and Control Suppl Issue), pp. 243-247.
COMDEVALCO FRAMEWORK 193 [2] Czibula, I-G., ComDeValCo Workbench: Activity Modeling and Execution, Proc. Conf. Cluj Academic Days, Computer Science Track, Cluj, Romania, June 4, 2008, pp. 67-74. [3] Mellor, S.J., Balcer, M.J, Executable UML: A Foundation for Model-Driven Architecture, Addison-Wesley, 2002. [4] Lazăr, I., Pârv, B., Motogna, S., Czibula, I-G., Lazăr, C-L., An Agile MDA Approach for Executable UML Activities, Studia UBB, Informatica, LII, No. 2, 2007, pp. 101-114. [5] Lazăr, I., Pârv, B., Motogna, S., Czibula, I-G., Lazăr, C-L., iComponent: A Platformindependent Component Model for Dynamic Execution Environment, in Proc. of 10th Int. Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2008, Timi¸soara, Romania, September 26-29, 2008. To appear in IEEE Press. [6] Lazăr, I., Pârv, B., Motogna, S., Czibula, I-G., Lazăr, C-L., An Agile MDA Approach for the Development of Service-Oriented Component-Based Applications, in Proc. Int. Conf. Complexity and Intelligence of the Artificial and Natural Complex Systems CANS 2008, Târgu Mure¸s, Romania, November 8-10, 2008. To appear in Int. J. of Comp., Comm. and Control. [7] Lazăr, C-L., Lazăr, I., On Simplifying the Construction of Executable UML Structured Activities, Studia UBB, Informatica, LIII, No. 2, 2008, pp. 147-160. [8] Motogna, S., Lazăr, I., Pârv, B., Czibula, I-G., Lazăr, C-L., Component Classification Criteria for a Platform-independent Component Repository, in Proc. of 5th Int. Conf. of Applied Mathematics ICAM 2008, Baia Mare, Romania, September 18-20, 2008. To appear in Carpathian J. Math. [9] Motogna, S., Pârv, B., Lazăr, I., Czibula, I.G., Lazăr, C.L., Extension of an OCL-based Executable UML Components Action Language, Studia UBB, Informatica, LIII, No. 2, 2008, pp. 15-26. [10] OASIS Registry Information Model, http://docs.oasis-open.org/regrep/v3.0/regrep-3.0-os.zip [11] OSGi Alliance, OSGi Service Platform Core Specification, Release 4, Version 4.1.(2007), http://www.osgi.org/. [12] Pârv, B., Motogna, S., Lazăr, I., Czibula, I.G., Lazăr, C.L., ComDeValCo - a framework for software component definition, validation, and composition, Studia UBB, Informatica, LII, No. 2, 2007, pp. 59-68. [13] Pârv, B., Motogna, S., Lazăr, ComDeValCo Framework - the modeling language for procedural paradigm, Int. J. of Comp., Comm. and Control, III, No. 2, 2008, pp. 183-195. (1) Department of Computer Science, Faculty of Mathematics and Computer Science, Babes¸-Bolyai University, 1, M. Kogălniceanu, Cluj-Napoca 400084, Romania E-mail address: bparv,motogna,ilazar,czibula@cs.ubbcluj.ro