TOPOLOGICAL MODELING FOR ENTERPRISE DATA SYNCHRONIZATION SYSTEM - A Case Study of Topological Model-driven Software Development

Uldis Donins, Janis Osis

Abstract

In this paper a problem domain and system modelling formalization approach is shown in context of enterprise data synchronization system development case study. Formalization approach is based on topology borrowed from topological functioning model (TFM). TFM uses mathematical foundations that holistically represent complete functionality of the problem and application domains. By applying the proposed topological modelling approach in software development process we aim to enable computation independent model creation in a formal way and to enable transformation from it to platform independent model. Besides that a traceability can be established between problem domain model, solution domain model (or models) and the software code.

References

  1. Asnina, E., 2006. The Formal Approach to Problem Domain Modelling Within Model Driven Architecture. In 9th International Conference “Information Systems Implementation and Modelling” (ISIM'06).
  2. Diskin, Z., Kadish, B., Piessens, F., & Johnson, M., 2000. Universal Arrow Foundations for Visual Modeling. In Theory and Application of Diagrams (pp. 345-360). Springer-Verlag.
  3. Donins, U., 2010. Software Development with the Emphasis on Topology. In Advances in Databases and Information Systems, Lecture Notes in Computer Science Vol.5968 (pp. 220-228). Springer-Verlag.
  4. Fowler, M., 2003. UML Distilled: A Brief Guide to the Standard Object Modeling Language, AddisonWesley. USA, 3rd edition.
  5. Jones, C., 2009. Positive and Negative Innovations in Software Engineering. In International Journal of Software Science and Computational Intelligence Volume 1, Issue 2. IGI Publishing.
  6. Leffingwell, D., Widrig, D., 2003. Managing Software Requirements: a use case approach, Addison-Wesley. USA, 2nd edition.
  7. Loniewski, G., Insfran, E., & Abrahao, S., 2010. A systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development. In Model Driven Engineering Languages and Systems (pp. 214-227). Springer-Verlag.
  8. Miller, J., Mukerji, J. (eds), 2003. MDA Guide Version 1.0.1. OMG.
  9. Nagel, C., Evjen, B., Glynn, J., Watson, K., & Skinner, M., 2010. Professional C# 4.0 and .NET 4, John Wiley & Sons. USA, 1st edition.
  10. OMG, 2010. Unified Modeling Language Infrastructure version 2.1.3. OMG.
  11. Osis, J., Asnina, E., 2008. Enterprise Modeling for Information System Development within MDA. In 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).
  12. Osis, J., Donins, U., 2009. An Innovative Model Driven Formalization of the Class Diagrams. In 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2009). INSTICC Press.
  13. Osis, J., Donins, U., 2010. Platform Independent model Development by Means of Topological Class Diagrams. In Model-Driven Architecture and Modeling Theory-Driven Development. SciTePress.
  14. Randolph, N., Gardner, D., Anderson, C., Minutillo, M., 2010. Professional Visual Studio 2010, John Wiley & Sons. USA, 1st edition.
  15. Rumbaugh, J., Jacobson, I., & Booch, G., 2004. The Unified Modeling Language Reference Manual, Addison-Wesley. USA, 2nd edition.
  16. Zhang, W., Mei, H., Zhao, H., & Yang, J., 2005. Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. In Model Driven Engineering Languages and Systems (pp. 248-263). Springer-Verlag.
Download


Paper Citation


in Harvard Style

Donins U. and Osis J. (2011). TOPOLOGICAL MODELING FOR ENTERPRISE DATA SYNCHRONIZATION SYSTEM - A Case Study of Topological Model-driven Software Development . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 87-96. DOI: 10.5220/0003503000870096


in Bibtex Style

@conference{iceis11,
author={Uldis Donins and Janis Osis},
title={TOPOLOGICAL MODELING FOR ENTERPRISE DATA SYNCHRONIZATION SYSTEM - A Case Study of Topological Model-driven Software Development},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={87-96},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003503000870096},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - TOPOLOGICAL MODELING FOR ENTERPRISE DATA SYNCHRONIZATION SYSTEM - A Case Study of Topological Model-driven Software Development
SN - 978-989-8425-55-3
AU - Donins U.
AU - Osis J.
PY - 2011
SP - 87
EP - 96
DO - 10.5220/0003503000870096