System Modeling in UML with Two-Hemisphere Model Driven Approach

System Modeling in UML with Two-Hemisphere Model Driven Approach

System modeling in an object-oriented manner at the initial stage of software development can be considered as a comprehensive knowledge presentation, which enables the developer practice problem domain (instead of code) to reuse and to share responsibilities between system objects at the high enough level of system abstraction. Unified Modeling Language (UML) is an industrial standard for software specification, modeling and software development in object-oriented manner. UML is not a methodology for how to model a system and to develop a software, but just a notational conventions for "drawing" of model elements. And developers have to identify model elements from problem domain based on some guidelines or their own intuition. It can arouse and frequently arise situations, where system model is not adequate to problem domain and has information loss, duplication and discrepancy. The paper offers to use two-hemisphere model driven approach for system modeling at the problem domain level to avoid problems of manual or intuitive system modeling, and illustrates how two-hemisphere model can be translated into software model expressed in UML by using rules for graph transformations. The problem domain of assigning the pupils of the driving school has been adopted for the illustration case study.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • S. R. Schach, Object-Oriented & Classical Software Engineering, 7th ed. McGraw-Hill Education, 2007.

  • O. Nikiforova and M. Kirikova, "Two-hemisphere model driven approach: engineering based software development," in The 16th International Conference Advanced Information Systems Engineering Caise'2004, September 2004, A. Persson and J. Stirna, Eds. Berlin Heidelberg: Springer-Verlag, LNCS 3084, pp. 219-233.

  • "Unified modeling language: superstructure v.2.2," Object Management Group. [Online]. Available: http://www.omg.org/spec/UML/2.2/Superstructure

  • Object Management Group. [Online]. Available: http://www.omg.org

  • C. W. Chan, "Knowledge and software modeling using UML," Software and Systems Modeling (SoSyM), vol. 3, no. 4, pp. 294-302, December 2004.

  • O. Nikiforova, M. Kirikova, and N. Pavlova, "Principles of model driven architecture in knowledge modeling for the task of study program evaluation," in Databases and Information Systems IV, O. Vasilecas, J. Eder, and A. Caplinskas, Eds. IOS Press, Series "Frontiers in Artificial Intelligence and Applications," 2007, pp. 291-304.

  • O. Nikiforova and N. Pavlova, "Open work of two-hemisphere model transformation definition into UML class diagram in the context of MDA," in Preprint of the Proceedings of the 3rd IFIP TC 2 Central and East Europe Conference on Software Engineering Techniques, CEESET, October 2008. Brno, pp. 133-146.

  • "MDA guide version 1.0.1." [Online]. Available: http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf

  • C. Sibertin-Blanc, O. Tahir, and J. Cardoso, "Interpretation of UML sequence diagrams as causality flows," in Advanced Distributed Systems, 5th International School and Symposium (ISSAD). Heidelberg: Springer, LNCS, vol 3563, 2005, pp. 126-140.

  • R. Alur, K. Etessami, and M. Yannakakis, "Inference of message sequence charts," in Proceedings of the 22nd International Conference on Software Engineering (ICSE). New York: ACM Press, 2000, pp. 304-313.

  • S. Uchitel, J. Kramer, and J. Magee, "Detecting implied scenarios in message sequence chart specifications," in Proceedings of the 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'01). New York: ACM, 2001, pp. 74-82.

  • B. D. Aredo, "A framework for semantics of UML sequence diagrams in PVS," J Univers Comput Sci (JUCS), vol. 8, no. 7, 2002, pp. 674-697.

  • J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object Oriented Modeling and Design. New Jersey, Englewood Cliffs: Prentice-Hall, Inc, 1991.

  • C. Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design, 3rd ed. New Jersey: Prentice Hall, 2005.

  • P. Chen, "The entity relationship model - towards a unified view of data," ACM Trans. Database Systems, vol. 1, 1976, pp. 9-36.

  • I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process. Addison-Wesley, 2002.

  • N. Pavlova and O. Nikiforova, "Formalization of two-hemisphere model driven approach in the framework of MDA," in Proceedings of the 9th Conference on Information Systems Implementation and Modelling, Czech Republic, Prerov, March 2006, J. Štefan, Ed. Ostrava: MARQ, 2006, pp. 105-112.

  • O. Nikiforova, "General framework for object-oriented software development process," in Scientific Proceedings of Riga Technical University, Computer Science, Applied Computer Systems, vol. 13. Riga: RTU, 2002, pp. 132-144.

  • O. Nikiforova, N. Pavlova, and J. Grigorjevs, "Several facilities of class diagram generation from two-hemisphere model in the framework of MDA," in Proceedings of 23rd International Symposium on Computer and Information Sciences (ISCIS 2008), Istanbul, Turkey, October 2008. [Online]. Available: IEEE Xplore - http://ieeexplore.ieee.org. http://ieeexplore.ieee.org

  • GRADE Business Modeling. Language Reference. INFOLOGISTIK GmbH. 1998.

  • J. Grundspenkis, "Causal domain model driven knowledge acquisition for expert diagnosis system development," in Lecture Notes of the Nordic-Baltic Summer School on Applications of AI to Production Engineering, Kaunas, Lithuania, 9-14 June 1997, K. Wang and H. Pranevicius, Eds. Kaunas: Kaunas University of Technology Press, 1997.

  • O. Nikiforova and N. Pavlova, "Foundations on generation of relationships between classes based on initial business knowledge," in 17th International Conference on Information Systems Development (ISD2008), Paphos, Cyprus, August 25-27, 2008, Information Systems Development, G. A. Papadopoulos, W. Wojtkowski, W. G. Wojtkowski, S. Wrycza, and J. Zupancic, Eds. New York: Springer-Verlag, 2009, pp. 289-297.

  • D. Harel, "State charts: a visual formalism for complex systems," in Science of Computer Programming, Vol. 8, 1987.

  • A. Baldini, A. Benso, and P. Prinetto. "System-level functional testing from UML specifications in end-of-production industrial environments," in Software Tools Technol Transfer, Vol. 7. Springer-Verlag, 2004, pp. 326-340.

  • O. Nikiforova and N. Pavlova, "Development of the tool for generation of UML class diagram from two-hemisphere model," in Proceedings of the Third International Conference on Software Engineering Advances (ICSEA), International Workshop on Enterprise Information Systems (ENTISY), October 2008, H. Mannaert, C. Dini, T. Ohta, and R. Pellerin, Eds. IEEE Computer Society, Conference Proceedings Services (CPS), 2008, pp. 105-112.