OCL-based automated validation method for UML specifications

Programming and Computer Software

Volumn 29, Issue 6, 2003, Pages 323-327

  Ol'khovich, L ^a   Koznov, D V ^a  

^a ST PETERSBURG STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PROJECT MANAGEMENT; VISUAL COMMUNICATION;

METAMODELS; VALIDATION METHODS; VISUAL PROJECT LANGUAGES; VISUAL SOFTWARE MODELS;

COMPUTER SOFTWARE;

EID: 25844496931     PISSN: 03617688     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:PACS.0000004132.42846.11     Document Type: Article

References (23)

1. OMG Unified Modeling Language Specification, Version 1.4, http://www.omg.org.2002.
2. Boulychev, D., Koznov, D., and Terekhov, A.A., On Project-Specific Languages and Their Application in Reengineering, Proc. of Conf. on Software Maintenance and Reengineering, Budapest, 2002.
3. Koznov, D.V., Visual Modeling of Component Software, Cand. Sci. (Phys.-Math.) Dissertation, St. Petersburg: St. Petersburg State Univ., 2000.
4. Asteziano, E. and Reggio, G., An Attempt at Analyzing the Consistency Problems in the UML from a Classical Algebraic Viewpoint, Proc. of Workshop on Consistency Problems in UML-Based Software Development, Dresden, 2002, http://www.ipd.bth.se/uml2002/.
5. Egeyd, A., Heterogeneous View Integration and Its Automation, Tech. Rep. 90089-0781, Center for Software Engineering, Univ. of Southern California, Los Angeles, 1999.
6. Tsiolakis, A., Integrating Model Information in UML Sequence Diagrams, Electronic Notes Theor. Comput. Sci., 2001, vol. 50, no. 3 (Proc. of the Satellite Workshops of the 28th ICALP (GT-VMT2001)).
7. Ivanov, A.N., Koznov, D.V., and Murashova, T.S., RTST Behavioral Model, Zap. Seminara Kafedry Sistemnogo Programmirovaniya "CASE Means RTST++," no. 1, St. Petersburg: St. Petersburg State Univ., 1998, pp. 37-49.
8. Cook, S. and Daniels, J., Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, 1994.
9. Hussmann, H., Demuth, B., and Finger, F., Modular Architecture for a Toolset Supporting OCL, UML2000 - The Unified Modeling Language: Advancing the Standard, Proc. of the Third Int. Conf., Evans, A., Kent, S., and Selic, B., Eds., York, UK, 2000, Lecture Notes in Computer Science, vol. 1939, pp. 278-293, Berlin: Springer, 2000.
10. Robbins, J.E., Hilbert, D.M., and Redmiles, D.F., Argo: A Design Environment for Evolving Software Architectures, Proc. of the 1997 Int. Conf. on Software Eng., Boston, 1997, pp. 600-601.
11. Ahrendt, W., Baar, T., Beckert, B., Bubel, L., Giese, M., Hoehnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., and Schmitt, P.H., The KeY Tool, Tech. Rep., Dept. of Computing Sci., Chalmers Univ. and Göteborg Univ.; Computing Sci., 2003, no. 2003-5.
12. Chiorean, D. and Cojocari, D., Impelementation of OCL Support in UML CASE Tools-the ROCASE Experience: Objectives, Proposals, Perspectives, Proc. of 4th Int. Conf. on Information Systems Modelling, ISM'01, Hradec nad Moravici, Czech Republic, 2001.
13. Elixir CASE User Manual, version 1.2, Elixir Technologies, http://www.elixirtech.com.
14. Akehurst, D., OCL4Java Library, Canterbury Univ.
15. Murray, D.J. and Parson, D.E., Automated Debugging in Java Using OCL and JDI, Proc. of the Fourth Int. Workshop on Automated Debuggibg, AAADEBUG 2000, Ducasse, M., Ed., Munich, 2000.
16. Monestel, L., Ziadi, T., and Jezequel, J.-M., Product Line Engineering: Product Derivation, Workshop on Model Driven Architecture and Product Line Eng., SPLC2 Conf, San Diego, 2002.
17. Bassett, P., Framing Software Reuse - Lessons from Real World, Prentice Hall, 1997.
18. Norton, L.M., SEI's Software Product Line Tenets, IEEE Software, 2002, pp. 32-41.
19. Objecteering Software, http://www.objecteering.com/.
20. Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., and Ivanov, A.N., Real: A Methodology and CASE Means for the Development of Real-Time and Information Systems, Programmirovanie, 1999, no. 5, pp. 44-51.
21. Shen, W., Compton, K., and Huggins, J.K., Validation Method for a UML Model Based on Abstract State Machines, Proc. of EUROCAST 2001, pp. 220-223.
22. Kondrat'ev, A.M., CASE Means and Object Databases, Ob'ektno- orientirovannoe vizual'noe modelirovanie (Object-Oriented Visual Modeling), St. Petersburg: St. Petersburg State Univ., 1999, pp. 57-78.
23. Humphrey, W., Managing the Software Process, Addison-Wesley, 1989