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.
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.