Ensuring Domain Conformity by Means of the Topological Functioning Model

Erika Asnina

doi:10.2478/acss-2013-0005

Abstract

The paper focuses on an open question about ensuring conformity among a domain of system knowledge, an analysis domain, a software design domain, and code. Principles of Model Driven Engineering are used in the research, namely, formal specifications of domains and support of conformity among these specifications with the help of traceability mechanism. Topological Functioning Model (TFM) has a mathematical mechanism for supporting traceability, and, thus, conformity. The main results demonstrate that the TFM holds the central place in a chain of trace links between specifications, and analysis of these links enables verification of domain conformity. The results are theoretical and require additional practical experiments.

References

[1] Asnina, E., Osis, J. (2010). Computation independent models: bridging problem and solution domains. In J. Osis, & O. Nikiforova (Ed.), Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010 (pp. 23-32). Portugal: SciTePress.
Search in Google Scholar
[2] J. Osis, E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, 2011.
Search in Google Scholar
[3] J. Miller, and J. Mukerji, Model Driven Architecture (MDA). Architecture Board ORMSC, ormsc/2001-07-01. The OMG. 2001. Retrieved from: www.omg.org/mda/
Search in Google Scholar
[4] J. Osis, “Formal Computation Independent Model within the MDA Life Cycle”, International Transactions on Systems Science andApplications, V. 1, Nr. 2, Xiaglow Institute Ltd, Glasgow (UK), 2006, pp. 159 - 166.
Search in Google Scholar
[5] J. Osis, E. Asnina: A Business Model to Make Software Development Less Intuitive. In: Proceedings of 2008 International Conference on Innovation in Software Engineering (ISE 2008). December 10-12, 2008, Vienna, Austria. IEEE Computer Society Publishing, 2008, pp. 1240-1245.
Search in Google Scholar
[6] Osis J., Asnina E., Grave A. “Computation Independent Modeling within the MDA” // Proceedings of IEEE International Conference on Software, Science, Technology & Engineering (SwSTE07), 30-31 October 2007, Herzlia, Israel. - IEEE Computer Society, Conference Publishing Services (CPS), 2007. - 22-34 p10.1109/SwSTE.2007.20
Search in Google Scholar
[7] O.C. Gotel, A. C. Finkelstein, An Analysis of the Requirements Traceability Problem. Proceedings of the First International Conference on Requirements Engineering, 1994. Colorado Springs, CO, USA: IEEE, 1994, pp. 94 - 101.
Search in Google Scholar
[8] J. Osis, E. Asnina, A. Grave. Formal Problem Domain Modeling within MDA. Communications in Computer and Information Science (CCIS), Springer Verlag Berlin Heidelberg, Volume 22, Part III, 2008, pp. 387-398.10.1007/978-3-540-88655-6_29
Search in Google Scholar
[9] Davis, A. Software Requirements: Objects, Functions and States. Prentice-Hall, Second Edition, 1993.
Search in Google Scholar
[10] Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1 - January 2011. The OMG. 2011. Retrieved from: http://www.omg.org/spec/QVT/index.htm
Search in Google Scholar
[11] Jouault F. Loosely Coupled Traceability for ATL. In: ECMDA Traceability Workshop (ECMDA-TW) 2005 Proceedings, November 8th 2005, Nuremberg, Germany. SINTEF, 2005, pp. 29-37.
Search in Google Scholar
[12] Zhang W., Mei H., Zhao H. and Yang J. Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. In: Lecture Notes in Computer Science, Volume 3713, Model Driven Engineering Languages and Systems. Springer, 2005, pp. 248-263.
Search in Google Scholar
[13] van den Berg K., Conejero J.M., Hernández J. Analysis of crosscutting across software development phases based on traceability. In: Proceedings of the 2006 international workshop on Early aspects at ICSE (EA'06). ACM, May 2006, pp. 43-49.10.1145/1137639.1137647
Search in Google Scholar
[14] Escalona M. J., Gutiérrez J. J., Rodríguez-Catalán L., and Guevara A. Model-driven in reverse: the practical experience of the AQUA project. In: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (EATIS '09). ACM, New York, NY, USA, 2009, Article 17 , 6 pages.
Search in Google Scholar

Ensuring Domain Conformity by Means of the Topological Functioning Model

Abstract

Paradigm

My account