Computation Independent Models: Bridging Problem and Solution Domains

Erika Asnina, Janis Osis

2010

Abstract

Compliance between a problem and a solution domain(s) is a well-known issue in software development. A usual way of development is focusing on the solution, and adapting the solution to the problem domain only in case of occurred issues. Sometimes, the cost of such adaptation is very high, and then the cheapest way is to change operation of the problem domain. Certainly, such ways cannot satisfy a client. This paper considers a computation independent model as a place where overcoming of the gap must occur. It discusses ways for overcoming a gap between a problem domain and a solution domain(s) that are proposed within CIMs, and suggests a mathematical mechanism, continuous mapping, provided by a topological functioning model together with its other topological and functional properties as a formal bridge between those domains. This mechanism is explained by an example.

References

  1. Asnina, E. (2006). The Formal Approach to Problem Domain Modelling Within Model Driven Architecture. Proceedings of the 9th International Conference “ISs Implementation and Modelling” (ISIM'06), April 25-26, 2006, Prerov, Czech Republic, 1st edn. (pp. 97- 104). Ostrava: Jan Štefan MARQ.
  2. Cao, X.-x., Miao, H.-k. and Chen, Y.-h. (2008). Transformation from computation independent model to platform independent model with pattern. Journal of Shanghai University (English Edition) , 12(6), 515-523.
  3. Che, Y., Wang, G., Wen, X. and Ren, B. (2009). Research on Computational Independent Model in the Enterprise IS Development Mode Based on Model Driven and Software Component. International Conference on Interoperability for Enterprise Software and Applications China, 2009. IESA 7809. (pp. 85 - 89). IEEE.
  4. Garrido, J. L., Noguera, M., González, M., Hurtado, M. V. and Rodríguez, M. L. (2006). Definition and use of Computation Independent Models in an MDA-based groupware development process. Science of Computer Programming, 66(1), Special Issue on the 5th International Workshop on System/Software Architectures (IWSSA'06) (pp. 25-43). Elsevier B.V.
  5. Grangel, R., Chalmeta, R. and Campos, C. (2007). Using UML Profiles for Enterprise Knowledge Modelling. Proceedings of the 26th International Conference on Conceptual Modeling (ER 2007), the 3rd International Workshop on Foundations and Practices of UML (FP-UML 2007), LNCS, Computer Science, Theory & Methods (pp. 125-132). Berlin: Springer Verlag.
  6. Hendryx, S. (2003). Integrating Computation Independent Business Modeling Languages into the MDA with UML 2. Retrieved from: http://www.omg.org/docs/ad/03-01-32.doc
  7. Hendryx, S. (2005, September). Are System Requirements Business Rules? Retrieved from Business Rules Journal, 6(9). Retrieved from: http://www.BRCommunity.com/a2005/ b249.html
  8. Huang, S. and Fan, Y. (2007). Model Driven and Service Oriented Enterprise Integration - The Method, Framework and Platform. Proceedings of the Sixth International Conference on Advanced Language Processing and Web Information Technology (ALPIT 2007) (pp. 504-509). Washington, DC, USA: IEEE Computer Society.
  9. Jackson, M. (2005). Problem Frames and Software Engineering. The Open University. Retrieved (n.d.) from: http://mcs.open.ac.uk/mj665/PFrame7.pdf
  10. Jeary, S., Fouad, A. and Phalp, K. (2008, July 3). Extending the Model Driven Architecture with a pre-CIM level. Proceedings of the 1st International Workshop on Business Support for MDA co-located with TOOLS EUROPE 2008. Retrieved from: http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-376/
  11. Kanyaru, J. M., Coles, M., Jeary, S. and Phalp, K. (2008, July 3). Using visualisation to elicit domain information as part of the Model Driven Architecture (MDA) approach. Proceedings of the 1st International Workshop on Business Support for MDA co-located with TOOLS EUROPE 2008. Retrieved from: http://ftp.informatik.rwthaachen.de/Publications/CEUR-WS/Vol-376/
  12. Miller, J. and Mukerji, J. (2001). Model Driven Architecture (MDA). Architecture Board ORMSC, ormsc/2001-07-01. The OMG. Retrieved from: www.omg.org/mda/
  13. Osis, J. (1969). Topological Model of System Functioning (in Russian). Automatics and Computer Science, J. of Acad. of Sc, Riga, Latvia, #6 , 44-50.
  14. Osis, J. (1997). Development of Object-Oriented Methods for Hybrid System Analysis and Design. Proc. of the 23rd Conference of the Association of Simula Users (ASU), (pp. 162- 170). Stara Lesna, Slovakia.
  15. Osis, J. (2004). Software Development with Topological Model in the Framework of MDA. In: Proceedings of the 9th CaiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'2004) in connection with the CaiSE'2004 (Vol. 1, pp. 211-220). Riga: RTU.
  16. Osis, J., Asnina, E., and Grave, A. (2008). Formal Problem Domain Modeling within MDA. In: Communications in Computer and Information Science (CCIS) (Vol. 22 (III), pp. 387-398). Berlin: Springer Verlag.
  17. Schach, St. R. (1999). Classical and Object-Oriented Software Engineering with UML and Java. International edition. 4th edn. WCB/McGraw-Hill.
  18. Sowa, J. and Zahman, J. (1992). Extending and formalizing the framework for ISs architecture. IBM Systems Journal , 31(3), 590-616.
  19. Tkach, D., Fang, W., and So, A. (1996). Visual Modeling Technique: Object Technology Using Visual Programming. Addison-Wesley.
  20. Trujillo, J., Soler, E., Fernández-Medina, E. and Piattini, M. (2009). A UML 2.0 profile to define security requirements for Data Warehouses. Computer Standards & Interfaces 31 , 969-983.
Download


Paper Citation


in Harvard Style

Asnina E. and Osis J. (2010). Computation Independent Models: Bridging Problem and Solution Domains . In Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development - Volume 1: MDA & MTDD, (ENASE 2010) ISBN 978-989-8425-16-4, pages 23-32. DOI: 10.5220/0003043200230032


in Bibtex Style

@conference{mda & mtdd10,
author={Erika Asnina and Janis Osis},
title={Computation Independent Models: Bridging Problem and Solution Domains},
booktitle={Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development - Volume 1: MDA & MTDD, (ENASE 2010)},
year={2010},
pages={23-32},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003043200230032},
isbn={978-989-8425-16-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development - Volume 1: MDA & MTDD, (ENASE 2010)
TI - Computation Independent Models: Bridging Problem and Solution Domains
SN - 978-989-8425-16-4
AU - Asnina E.
AU - Osis J.
PY - 2010
SP - 23
EP - 32
DO - 10.5220/0003043200230032