Semantics of Logical Relations in Topological Functioning Model

Uldis Donins

Abstract

The Topological functioning model (TFM) captures system functioning specification in the form of topological space consisting of functional features and cause-and-effect relations among them and is represented in a form of directed graph. The formal foundation of TFM makes it as a primary model which should be developed when implementing a software system. The functional features together with topological relationships contain the necessary information to create diagrams of other type, e.g., Activity or Communication diagrams. To specify the behaviour of system execution a new artefact is added to TFM – logical relations. The presence of logical relations denotes forking, branching, decision making, and joining during execution of system. Thus, it is needed to carefully analyse these new relations in TFM to have all the necessary information to transform it to other diagrams. The paper concludes with an example of TFM analysis and logical relationship identification within it.

References

  1. Asnina, E., 2009. A Formal Holistic Outline for Domain Modeling. In 13th East-European Conference (ADBIS 2009), Associated Workshops and Doctoral Consortium, Local Proceedings (pp. 400-407). JUMI publishing house.
  2. Debnath, N., Leonardi, M., Mauco, M., Montejano, G., Riesco, D., 2008. Improving Model Driven Architecture with Requirements Models. In 5th International Conference on Information Technology: New Generations (ITNG 2008) (pp. 21-26).
  3. Desel, J., Juhás, G., 2001. What is a Petri Net? Informal Answers for the Informed Readers. In Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science (LNCS) Vol.2128 (pp. 1-25). Springer-Verlag.
  4. Diaz, I., Pastor, O., Matteo, A., 2005. Modeling Interactions using Role-Driven Patterns. In IEEE International Conference on Requirements Engineering (pp. 209-220).
  5. Donins, U., Osis, J., 2011. Topological Modeling for Enterprise Data Synchronization System: A Case Study of Topological Model-Driven Software Development. In 13th International Conference on Enterprise Information Systems (ICEIS 2011) (pp. 87- 96). SciTePress.
  6. Insfran, E., Pastor, O., Wieringa, R., 2002. Requirements Engineering-Based Conceptual Modelling. Requirements Engineering, 7(2), pp. 61-72.
  7. Jones, C., 2009. Positive and Negative Innovations in Software Engineering. International Journal of Software Science and Computational Intelligence, 1(2), pp. 20-30.
  8. Letier, E., van Lamsweerde, A., 2002. Deriving Operational Software Specifications from System Goals. In the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (pp. 119-128). ACM.
  9. Miller, J., Mukerji, J. (eds), 2003. MDA Guide Version 1.0.1. OMG.
  10. OMG, 2011. Unified Modeling Language Infrastructure version 2.4.1. OMG.
  11. Osis, J., Asnina, E., 2008. A Business Model to Make Software Development Less Intuitive. In the International Conference on Innovation in Software Engineering, Vienna, Austria. IEEE Computer Society CPS (pp. 1240-1246).
  12. Osis, J., Asnina, E., 2011. Model-Driven Domain Analysis and Software Development: Architectures and Functions, IGI Global, USA.
  13. Osis, J., Asnina, E., Grave, A., 2007. Computation Independent Modeling within the MDA. In IEEE International Conference on Software Science, Technology and Engineering, 30-31 October 2007, Herzlia, Israel, IEEE Computer Society Nr. E3021 (pp. 22-34).
  14. Osis, J., Asnina, E., Grave, A., 2008. Computation Independent Representation of the Problem Domain in MDA. e-Informatica Software Engineering Journal, 2(1), pp. 29-46.
  15. Osis, J., Donins, U., 2010. Formalization of the UML Class Diagrams. In Evaluation of Novel Approaches to Software Engineering. Communications in Computer and Information Science (CCIS), Vol. 69 (pp. 180- 192). Springer-Verlag.
  16. Yue, T., Briand, L., Labiche, Y., 2009. A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. In Model Driven Engineering Languages & Systems. Lecture Notes in Computer Science (LNCS) Vol.5795 (pp.484-498). Springer-Verlag.
Download


Paper Citation


in Harvard Style

Donins U. (2012). Semantics of Logical Relations in Topological Functioning Model . In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDA&MDSD, (ENASE 2012) ISBN 978-989-8565-13-6, pages 217-223. DOI: 10.5220/0004088002170223


in Bibtex Style

@conference{mda&mdsd12,
author={Uldis Donins},
title={Semantics of Logical Relations in Topological Functioning Model},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDA&MDSD, (ENASE 2012)},
year={2012},
pages={217-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004088002170223},
isbn={978-989-8565-13-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDA&MDSD, (ENASE 2012)
TI - Semantics of Logical Relations in Topological Functioning Model
SN - 978-989-8565-13-6
AU - Donins U.
PY - 2012
SP - 217
EP - 223
DO - 10.5220/0004088002170223