LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns |
Peng, Han
(School of Computer Science, Northwestern Polytechnical University)
Du, Chenglie (School of Computer Science, Northwestern Polytechnical University) Rao, Lei (School of Software and Microelectronics, Northwestern Polytechnical University) Liu, Zhouzhou (School of Computer Science, Northwestern Polytechnical University) |
1 | R. Silva and M. Butler, "Supporting reuse of Event-B developments through generic instantiation," in Formal Methods and Software Engineering. Heidelberg: Springer, 2009, pp. 466-484. |
2 | S. Yeganefard, M. Butler, and A. Rezazadeh, "Evaluation of a guideline by formal modelling of cruise control system in Event-B," in Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), Washington, DC, 2010, pp. 182-191. |
3 | S. Yeganefard and M. Butler, "Problem decomposition and sub-model reconciliation of control systems in Event-B," in Proceedings of 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), San Francisco, CA, 2013, pp. 528-535. |
4 | S. Yeganefard and M. Butler, "Structuring functional requirements of control systems to facilitate refinement-based formalisation," Electronic Communications of the EASST, vol. 46, pp. 1-15, 2011. |
5 | S. Yeganefard and M. Butler, "Control systems: phenomena and structuring functional requirement documents," in Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, Paris, France, 2012, pp. 39-48. |
6 | A. S. Fathabadi, M. Butler, and A. Rezazadeh, "A systematic approach to atomicity decomposition in Event-B," in Software Engineering and Formal Methods. Heidelberg: Springer, 2012, pp. 78-93. |
7 | E. Alkhammash, M. Butler, A. S. Fathabadi, and C. Cirstea, "Building traceable Event-B models from requirements," Science of Computer Programming, vol. 111, pp. 318-338, 2015. DOI |
8 | A. S. Fathabadi and M. Butler, "Applying Event-B atomicity decomposition to a multi media protocol," in Formal Methods for Components and Objects. Heidelberg: Springer, 2009, pp. 89-104. |
9 | A. S. Fathabadi, A. Rezazadeh, and M. Butler, "Applying atomicity and model decomposition to a space craft system in Event-B," in NASA Formal Methods. Heidelberg: Springer, 2011, pp. 328-342. |
10 | A. Iliasov, "Use case scenarios as verification conditions: Event-B/Flow approach," in Software Engineering for Resilient Systems. Heidelberg: Springer, 2011, pp. 9-23. |
11 | S. Schneider, H. Treharne, and H. Wehrheim, "The behavioural semantics of Event-B refinement," Formal Aspects of Computing, vol. 26, no. 2, pp. 251-280, 2014. DOI |
12 | S. Schneider, H. Treharne, and H. Wehrheim, "A CSP approach to control in Event-B," in Integrated Formal Methods. Heidelberg: Springer, 2010, pp. 260-274. |
13 | S. Schneider, H. Treharne, and H. Wehrheim, "Bounded retransmission in Event-B||CSP: a case study," Electronic Notes in Theoretical Computer Science, vol. 280, pp. 69-80, 2011. DOI |
14 | S. Schneider, H. Treharne, and H. Wehrheim, "Stepwise refinement in Event-B CSP. Part 1: Safety," Department of Computing, University of Surrey, UK, 2011. |
15 | S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, "Managing LTL properties in Event-B refinement," in Integrated Formal Methods. Cham: Springer, 2014, pp. 221-237. |
16 | T. S. Hoang, S. Schneider, H. Treharne, and D. M. Williams, "Foundations for using linear temporal logic in Event-B refinement," Formal Aspects of Computing, vol. 28, no. 6, pp. 909-935, 2016. DOI |
17 | R. Gorrieri, "Labeled transition systems," in Process Algebras for Petri Nets. Cham: Springer, 2017, pp. 15-34. |
18 | K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a nutshell," International Journal on Software Tools for Technology Transfer (STTT), vol. 1, no. 1, pp. 134-152, 1997. DOI |
19 | T. S. Hoang, A, Furst, and J. R. Abrial, "Event-B patterns and their tool support," Software & Systems Modeling, vol. 12, no. 2, pp. 229-244, 2013. DOI |
20 | J. R. Abrial, Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press, 2010. |
21 | I. Tounsi, M. H. Kacem, A. H. Kacem, K. Drira, and E. Mezghani, "Towards an approach for modeling and formalizing soa design patterns with Event-B," in Proceedings of the 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, 2013, pp. 1937-1938. |
22 | A. Gondal, M. Poppleton, and M. Butler, "Composing Event-B specifications: case-study experience," in Software Composition. Heidelberg: Springer, 2011, pp. 100-115. |
23 | A. Gondal, "Feature-oriented reuse with Event-B and Rodin," Ph.D. dissertation, University of Southampton, UK, 2013. |
24 | A. Intana, "Formal engineering methodologies for wireless sensor network development with simulation," Ph.D. dissertation, University of Southampton, UK, 2015. |
25 | R. Silva, "Application of decomposition and generic instantiation," 2011; https://eprints.soton.ac.uk/272195/. |