Formal Analysis of Objects State Changes and Transitions

Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone

2012

Abstract

Event-driven software systems continuously wait for occurrence of some external or internal events. When such event is received and recognized, the system reacts by performing corresponding computations which may include generation of events that trigger computation in other components. The response to the received event depends on the current state of the system and underlying objects and can include a change of state leading to a state transition. The state changes and transitions within a system can be formally analysed by using Topological functioning model. It 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 functional features together with topological relationships contain the necessary information to create State diagram which reflects the state changes within system.

References

  1. Asnina, E., Osis, J., 2011. Topological Functioning Model as a CIM-Business Model. In Model-Driven Domain Analysis and Software Development: Architectures and Functions (pp. 40-64) IGI Global, USA.
  2. Booch, G., Maksimchuk, R., Engel, M., Young, B., Conallen, J., Houston, K., 2007. Object-oriented analysis and design with applications, AddisonWesley. USA, 3rd edition.
  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. 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.
  5. Donins U., Osis J., Slihte A., Asnina E., Gulbis B., 2011. Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA&MDSD 2011) (pp. 79.-88). SciTePress.
  6. Jones, C., 2009. Positive and Negative Innovations in Software Engineering. International Journal of Software Science and Computational Intelligence, 1(2), pp. 20-30.
  7. Kent, S., 2001. The Unified Modeling Language. In Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (pp 126-151). Cambridge University Press.
  8. Larman, C., 2005. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, Prentice Hall. USA, 3rd edition.
  9. Olive, A., 2007. Conceptual Modeling of Information Systems. Springer-Verlag. Heidelberg Berlin.
  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 International Conference on Innovation in Software Engineering, (pp. 1240-1246). IEEE Computer Society CPS.
  12. Osis, J., Asnina, E., 2011a. Model-Driven Domain Analysis and Software Development: Architectures and Functions, IGI Global, USA.
  13. Osis, J., Asnina, E., 2011b. Is Modeling a Treatment for the Weakness of Software Engineering? In ModelDriven Domain Analysis and Software Development: Architectures and Functions (pp. 1-14) IGI Global, USA.
  14. Osis, J., Asnina, E., 2011c. Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures. In ModelDriven Domain Analysis and Software Development: Architectures and Functions (pp. 15-39) IGI Global, USA.
  15. Osis, J., Asnina, E., Grave, A., 2007a. MDA Oriented Computation Independent Modeling of the Problem Domain. In 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007), (pp. 66-71). SciTePress.
  16. Osis, J., Asnina, E., Grave, A., 2007b. Formal Computation Independent Model of the Problem Domain within the MDA. In 10th International Conference on Information Systems and Formal Models ISIM'07, (pp. 47 - 54). Silesian University Press.
  17. Osis, J., Asnina, E., Grave, A., 2008. Formal Problem Domain Modeling within MDA. In Software and Data Technologies, Communications in Computer and Information Science (CCIS) Vol. 22 (pp. 387-398). Springer-Verlag.
  18. 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.
  19. Podeswa, H., 2009. UML for the IT Business Analyst, Course Technology PTR. USA, 2nd edition.
  20. Scott, K., 2001. The Unified Process Explained, AddisonWesley. USA.
  21. Stevens, P., Pooley, R., 2005. Using UML: Software Engineering with Objects and Components, AddisonWesley. USA, 2nd edition.
  22. Slihte, A., 2010. Transforming Textual Use Cases to a Computation Independent Model. In Model-Driven Architecture and Modeling Theory-Driven Development, (pp 33-42). SciTePress.
Download


Paper Citation


in Harvard Style

Donins U., Osis J., Asnina E. and Jansone A. (2012). Formal Analysis of Objects State Changes and Transitions . 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 249-256. DOI: 10.5220/0004099502490256


in Bibtex Style

@conference{mda&mdsd12,
author={Uldis Donins and Janis Osis and Erika Asnina and Asnate Jansone},
title={Formal Analysis of Objects State Changes and Transitions},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDA&MDSD, (ENASE 2012)},
year={2012},
pages={249-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004099502490256},
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 - Formal Analysis of Objects State Changes and Transitions
SN - 978-989-8565-13-6
AU - Donins U.
AU - Osis J.
AU - Asnina E.
AU - Jansone A.
PY - 2012
SP - 249
EP - 256
DO - 10.5220/0004099502490256