System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model

Erika Asnina, Janis Osis, Asnate Jansone

Abstract

A gap between two domains, the system and its supporting software, is a well-known issue in software development. The analysis of the system is often considered as a redundant unwanted activity. However, software development driven by models will not be able to close the gap, if these models focus only on software and ignore the system, since software is a subsystem that helps to conduct some system’s activities. Thus, the system must be accurately analyzed before the software. For this purpose, this paper suggests a formal engineering model, Topological Functioning Model, and analysis of system functioning based on the system theory, algebraic topology, and classical logic.

References

  1. Asnina, E., & Osis, J. (2010). Computation independent models: bridging problem and solution domains. Proceedings of the 2nd InternationalWorkshop on Model-Driven Architecture and Modeling TheoryDriven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010 (pp. 23-32). Portugal: SciTePress.
  2. Asnina, E., & Osis, J. (2011). Topological Functioning Model as a CIM-Business Model. In J. Osis, & E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions (pp. 40- 64). Hershey, New York, USA: IGI Global.
  3. Basener, W. (2006). Topology and Its Applications. New Jersey, USA: John Wiley and Sons, Inc.
  4. Bider, I., Bellinger, G., & Perjons, E. (2011). Modeling an Agile Enterprise: Reconciling Systems and Process Thinking. Proceedings of PoEM 2011, LNBIP , 92, pp. 238-252.
  5. Cummins, D. (1995). Naive theories and causal deduction. Memory and Cognition , 23, pp. 646-658.
  6. Donins, U., Osis, J., Slihte, A., Asnina, E., & Gulbis, B. (2011). Towards the Refinement of Topological Class Diagram as a Platform Independent Model. ModelDriven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, (pp. 79 - 88).
  7. Drack, M., & Apfalter, W. (2007). Is Paul A. Weiss' and Ludwig von Bertalanffy's System Thinking Still Valid Today? Systems Research and Behavioral Science , 24 (5), pp. 537-546.
  8. Khomyakov, M., & Bider, I. (2000). Achieving Workflow Flexibility through Taming the Chaos. OOIS 2000 - 6th international conference on object oriented information systems (pp. 85-92). Springer.
  9. Laszlo, A., & Krippner, S. (1998). Chapter 3 Systems theories: Their origins, foundations, and development. In J. Scott Jordan, Advances in Psychology (Vol. 126, pp. 47-74). North-Holland.
  10. Lavagno, L., Grant, E. M., & Selic, B. (2004). UML for Real: Design of Embedded Real-Time Systems. Springer.
  11. Lee, B., & Miller, J. (2004). Multi-project Software Engineering Analysis Using Systems Thinking. Software Process Improvement and Practice (9), pp. 173-214.
  12. Miller, J., & Mukerji, J. (Eds.). (2003, May 1). MDA Guide Version 1.0. Retrieved January 15, 2010, from http://www.omg.org/mda/
  13. Mingers, J., & White, L. (2010). A review of the recent contribution of systems thinking to operational research and management science. European Journal of Operational Research , 207, 1147-1161.
  14. Osis, J. (2006). Formal Computation Independent Model within the MDA Life Cycle. (P. Loucopoulos, & K. Lyytinen, Eds.) International transactions on system science and applications , 1 (2), pp. 159-166.
  15. Osis, J. (2004). Software development with topological model in the framework of MDA. 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. 1, pp. 211-220. Riga, Latvia: RTU.
  16. Osis, J. (1969). Topological Model of System Functioning. Automatics and Computer Science, J. of Acad. of Sc. (6), 44-50.
  17. Osis, J., & Asnina, E. (2008). A Business Model to Make Software Development Less Intuitive. Proceedings of 2008 International Conference on Innovation in Sofware Engineering (ISE 2008). December 10-12, 2008, Vienna, Austria (pp. 1240-1245). IEEE Computer Society Publishing.
  18. Osis, J., & Asnina, E. (2011 a). Derivation of Use Cases from the Topological Computation Independent Business Model. In J. Osis, & E. Asnina, ModelDriven Domain Analysis and Software Development: Architectures and Functions (pp. 65-89). Hershey, New York, USA: IGI Global.
  19. Osis, J., & Asnina, E. (2011 b). Is Modeling a Treatment for the Weakness of Software Engineering? In J. Osis, & E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions (pp. 1-14). Hershey - New York, USA: IGI Global.
  20. Osis, J., & Asnina, E. (2011 c). Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global.
  21. Osis, J., & Asnina, E. (2011 d). 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 (pp. 15-39). Hershey, New York, USA: IGI Global.
  22. Osis, J., & Donins, U. (2010). Formalization of the UML Class Diagrams. In Evaluation of Novel Approaches to Software Engineering (pp. 180-192). Berlin: SpringerVerlag.
  23. Osis, J., Asnina, E., & Grave, A. (2007 a). Computation Independent Modeling within the MDA. Proceedings of IEEE International Conference on Software, Science, Technology & Engineering (SwSTE07), 30-31 October 2007, Herzlia, Israel (pp. 22-34). IEEE Computer Society, Conference Publishing Services (CPS).
  24. Osis, J., Asnina, E., & Grave, A. (2008 a). Computation Independent Representation of the Problem Domain in MDA. e-Informatica Software Engineering Journal , 2 (1), 29-46.
  25. Osis, J., Asnina, E., & Grave, A. (2007 b). Formal Computation Independent Model of the Problem Domain within the MDA. Information Systems and Formal Models, Proceedings of the 10th International Conference ISIM'07 (pp. 47-54). Opava, Czech Republic: Silesian University.
  26. Osis, J., Asnina, E., & Grave, A. (2008 b). Formal Problem Domain Modeling within MDA. In Communications in Computer and Information Science (CCIS). Software and Data Technologies (pp. 387-398). Berlin: Springer-Verlag.
  27. Slihte, A., Osis, J., & Donins, U. (2011). Knowledge Integration for Domain Modeling. Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, (pp. 46 - 56).
  28. Taylor, C. (1993). A Formal Logical Analysis of Causal Relations, DPhil Thesis. University of Sussex.
Download


Paper Citation


in Harvard Style

Asnina E., Osis J. and Jansone A. (2012). System Thinking for Formal Analysis of Domain Functioning in the Computation Independent 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 232-240. DOI: 10.5220/0004090602320240


in Bibtex Style

@conference{mda&mdsd12,
author={Erika Asnina and Janis Osis and Asnate Jansone},
title={System Thinking for Formal Analysis of Domain Functioning in the Computation Independent 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={232-240},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004090602320240},
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 - System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model
SN - 978-989-8565-13-6
AU - Asnina E.
AU - Osis J.
AU - Jansone A.
PY - 2012
SP - 232
EP - 240
DO - 10.5220/0004090602320240