loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Uldis Donins ; Janis Osis ; Erika Asnina and Asnate Jansone

Affiliation: Riga Technical University, Latvia

ISBN: 978-989-8565-13-6

Keyword(s): Topological Functioning Modelling, Functional Characteristics, Objects, Object States.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.228.109

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.