Continuous behaviour in event-B: A sketch

Richard Banach; Huibiao Zhu; Wen Su; Xiaofeng Wu

doi:10.1007/978-3-642-30885-7_29

Continuous behaviour in event-B: A sketch

Richard Banach^*
, Huibiao Zhu
, Wen Su
, Xiaofeng Wu

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings
Pages	349-352
Number of pages	4
DOIs	https://doi.org/10.1007/978-3-642-30885-7_29
State	Published - 2012
Event	3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 - Pisa, Italy Duration: 18 Jun 2012 → 21 Jun 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7316 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012
Country/Territory	Italy
City	Pisa
Period	18/06/12 → 21/06/12

Access to Document

10.1007/978-3-642-30885-7_29

Cite this

Banach, R., Zhu, H., Su, W., & Wu, X. (2012). Continuous behaviour in event-B: A sketch. In Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings (pp. 349-352). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7316 LNCS). https://doi.org/10.1007/978-3-642-30885-7_29

@inproceedings{30cfed615d694bde94c4d2bcd5e6622b,

title = "Continuous behaviour in event-B: A sketch",

abstract = "Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).",

author = "Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu",

year = "2012",

doi = "10.1007/978-3-642-30885-7\_29",

language = "英语",

isbn = "9783642308840",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "349--352",

booktitle = "Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings",

note = "3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 ; Conference date: 18-06-2012 Through 21-06-2012",

}

Banach, R, Zhu, H, Su, W & Wu, X 2012, Continuous behaviour in event-B: A sketch. in Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7316 LNCS, pp. 349-352, 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012, Pisa, Italy, 18/06/12. https://doi.org/10.1007/978-3-642-30885-7_29

Continuous behaviour in event-B: A sketch. / Banach, Richard; Zhu, Huibiao; Su, Wen et al.
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings. 2012. p. 349-352 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7316 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Continuous behaviour in event-B

T2 - 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012

AU - Banach, Richard

AU - Zhu, Huibiao

AU - Su, Wen

AU - Wu, Xiaofeng

PY - 2012

Y1 - 2012

N2 - Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).

AB - Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).

UR - https://www.scopus.com/pages/publications/84863911665

U2 - 10.1007/978-3-642-30885-7_29

DO - 10.1007/978-3-642-30885-7_29

M3 - 会议稿件

AN - SCOPUS:84863911665

SN - 9783642308840

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 349

EP - 352

BT - Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings

Y2 - 18 June 2012 through 21 June 2012

ER -

Continuous behaviour in event-B: A sketch

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this