loading
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

Author: Richard Banach

Affiliation: University of Manchester, United Kingdom

ISBN: 978-989-758-100-7

Keyword(s): Model based Frameworks, Event-B, Stochastic Extensions, Invariants, Martingales.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Cross-Feeding between Data and Software Engineering ; Formal Methods ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Model-Driven Engineering ; Requirements Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques ; Symbolic Systems

Abstract: In conventional formal model based development frameworks, invariants play a key role in controlling the behaviour of the model (when they contribute to the definition of the model) or in verifying the model’s properties (when the model, independently defined, is required to preserve the invariants). However, when variables take values distributed according to some probability distribution, the possibility of verifying that system behaviour is, in the long term, confined to some acceptable set of states can be severely diminished because the system might, in fact, with low probability fail to be thus confined. This short paper proposes martingales as suitable analogues of invariants for capturing suitable properties of non-terminating systems whose behaviour is with high probability good, yet where a small chance of poor behaviour remains. The idea is explored in the context of the well-known Event-B framework.

PDF ImageFull Text

Download
Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.196.89.247. INSTICC members have higher download limits (free membership now)

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

Paper citation in several formats:
Banach R. (2015). Stochastic Analogues of Invariants - Martingales in Stochastic Event-B.In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software EngineeringISBN 978-989-758-100-7, pages 238-243. DOI: 10.5220/0005431602380243

@conference{enase15,
author={Richard Banach},
title={Stochastic Analogues of Invariants - Martingales in Stochastic Event-B},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering},
year={2015},
pages={238-243},
doi={10.5220/0005431602380243},
isbn={978-989-758-100-7},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering
TI - Stochastic Analogues of Invariants - Martingales in Stochastic Event-B
SN - 978-989-758-100-7
AU - Banach R.
PY - 2015
SP - 238
EP - 243
DO - 10.5220/0005431602380243

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

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

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...