@Conference{DBLP:conf/nfm/BenyagoubOAM18,
  author    = {Sarah Benyagoub and Meriem Ouederni and Yamine A{\"{\i}}t Ameur and Atif Mashkoor},
  title     = {Incremental Construction of Realizable Choreographies},
  booktitle = {Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA},
  year      = {2018},
  pages     = {1--19},
  abstract  = {This paper proposes a correct-by-construction method to build realizable
	choreographies described using conversation protocols (CPs). We define
	a new language consisting of an operators set for incremental construction
	of CPs. We suggest an asynchronous model described with the Event-B
	method and its refinement strategy, ensuring the scalability of our
	approach.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/BenyagoubOAM18},
  crossref  = {DBLP:conf/nfm/2018evelopingan},
  doi       = {10.1007/978-3-319-77935-5_1},
  file      = {:Conferences\\NFM 2018 - Incremental Construction of Realizable Choroegraphies\\Incremental Construction of Realizable Choreographies-preprint.pdf:PDF},
  keywords  = {SCCH},
  timestamp = {Fri, 04 May 2018 08:06:41 +0200},
  url       = {https://doi.org/10.1007/978-3-319-77935-5_1},
}