Notion of causal relations of the topological functioning model

Asnina, Erika

doi:10.2478/v10312-012-0009-z

Abstract

The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as UML Activity Diagram, BPMN diagrams, scenarios, etc. The paper addresses a lack of formal specification of causal relations between functional features of the TFM by using inference means suggested by classical logic. The result is reduced human participation in the transformation as well as additional check of analysis and specification of the system.

References

[1] 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
[2] A. van Lamsweerde, “Goal-Oriented Requirements Engineering: A Guided Tour”, Proceedings RE’01, 5th IEEE International Symposiumon Requirements Engineering, Toronto, 2001, pp. 249-263.
Search in Google Scholar
[3] A. Dardenne, A. van Lamsweerde, S. Fickas, “Goal-Directed Requirements Acquisition”, The Science of Computer Programming, 20(November), 1993, pp. 3-50.10.1016/0167-6423(93)90021-G
Search in Google Scholar
[4] E.S.K. Yu, “Towards Modeling And Reasoning Support For Early- Phase Requirements Engineering”, Proceedings of InternationalSymposium on Requirements Engineering, Annapolis, Maryland, USA, 1997, pp. 226-235.
Search in Google Scholar
[5] T. Gorschek, C. Wohlin, “Requirements Abstraction Model”, Requirements Engineering, vol. 11, 2006, pp. 79-101.10.1007/s00766-005-0020-7
Search in Google Scholar
[6] H. Kaindl, “A Design Process Based on a Model Combining Scenarios with Goals and Functions”, IEEE Trans. on Systems, Man andCybernetics, Vol. 30, No.5, 2000, pp.537-551.10.1109/3468.867861
Search in Google Scholar
[7] M. Jackson, “Problem Frames and Software Engineering”, Information and Software Technology, 47(November), 2005, pp. 903-912.10.1016/j.infsof.2005.08.004
Search in Google Scholar
[8] The Object Management Group. (2003). MDA guide version 1.0.1. (J. Miller, & J. Mukerji, Eds.). [Online]. Available: http://www.omg.org/. [Accessed: Nov 20, 2010]
Search in Google Scholar
[9] J. Osis, E. Asnina: A Business Model to Make Software Development Less Intuitive. In: Proceedings of 2008 International Conference on Innovation in Sofware Engineering (ISE 2008). December 10-12, 2008, Vienna, Austria. IEEE Computer Society Publishing, 2008, pp. 1240-1245.
Search in Google Scholar
[10] 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
[11] J. Osis, E. Asnina. Chapter 2: Topological Modeling for Model-Driven Domain Analysis and Software Development. In J. Osis, E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions, 2011 (pp. 15-39). Hershey, New York, USA: IGI Global.
Search in Google Scholar
[12] 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
[13] J. Osis, E. Asnina. Chapter 4: Derivation of Use Cases from the Topological Computation Independent Business Model. In J. Osis, E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions, 2011 (pp. 65-89). Hershey, New York, USA: IGI Global.
Search in Google Scholar
[14] A. Slihte, J. Osis, U. Donins. Knowledge Integration for Domain Modeling. In: J. Osis, O. Nikiforova (Eds.). Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, SciTePress, Portugal, 2011, pp. 46 - 56.
Search in Google Scholar
[15] U. Donins, J. Osis, A. Slihte, E. Asnina, B. Gulbis. Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In: J. Osis, O. Nikiforova (Eds.). Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, SciTePress, Portugal, 2011. pp. 79 - 88.
Search in Google Scholar
[16] Osis, J.: 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. RTU, Riga, Latvia (2004)
Search in Google Scholar
[17] 7. Basener, W.F.: Topology and Its Applications. John Wiley and Sons, Inc., New Jersey, USA (2006)10.1002/9780470067949
Search in Google Scholar
[18] E.Asnina, “Formalization of Problem Domain Modeling within Model Driven Architecture”, Ph.D. thesis, Riga Technical University, RTU Publishing House, Riga, Latvia, 2006.
Search in Google Scholar
[19] E. Asnina. A Formal Holistic Outline for Domain Modeling. In: Local Proceedings of Advances in Databases and Information Systems, 13th East-European Conference, ADBIS 2009, Associated Workshops and Doctoral Consortium, Riga, Latvia, September 7-10, 2009.- Riga Technical University, 2009.- pp. 400-407.
Search in Google Scholar
[20] Cummins, D. D. Naïve theories and causal deduction. Memory and Cognition, 23, 1995, pp. 646-658.10.3758/BF031972657476249
Search in Google Scholar
[21] 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.10.1109/SwSTE.2007.20
Search in Google Scholar

Notion of causal relations of the topological functioning model

Abstract

Paradigm

My account