Ensuring Domain Conformity by Means of the Topological Functioning Model

Erika Asnina

doi:10.2478/acss-2013-0005

.blurhash-client-img { display: none !important; }

Ensuring Domain Conformity by Means of the Topological Functioning Model

Applied Computer Systems

Volume 14 (2013): Issue 1 (June 2013)

By: Erika Asnina

Open Access

|Jun 2013

[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.2001. Retrieved from: www.omg.org/mda/
Search in Google Scholar
[4] J. Osis, “Formal Computation Independent Model within the MDA Life Cycle”,,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 p
Open DOI 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.
Open DOI 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.2011Retrieved 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.
Open DOI 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