Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Sarah Benyagoub"'
Publikováno v:
Model and Data Engineering ISBN: 9783030784270
MEDI
MEDI
Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9be2db617db64efea522d3ec55732078
https://doi.org/10.1007/978-3-030-78428-7_8
https://doi.org/10.1007/978-3-030-78428-7_8
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
Choreographies prescribe the rendez-vous synchronisation of messages in a communicating system. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous system of peers, where the commu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c36fa698611a077381a897cac27edf0b
https://doi.org/10.1007/978-3-030-48077-6_11
https://doi.org/10.1007/978-3-030-48077-6_11
Publikováno v:
Journal of Software: Evolution and Process. 32
Contemporary interaction‐based complex systems are often built by reusing existing distributed peers, which have to coordinate with each other to fulfill the client, system, and environmen...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f37ca2c0c78500a8f0ef804e72951525
https://doi.org/10.1002/smr.2209
https://doi.org/10.1002/smr.2209
Publikováno v:
Journal of Computer Languages. 57:100942
Although today’s software systems are distributed by necessity, their design verification and validation is still an open issue due to their ever-increasing complexity. This paper proposes a stepwise development method allowing a designer to build
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99d629cb4bdef3b4da69255758a2f520
https://doi.org/10.1016/j.cola.2020.100942
https://doi.org/10.1016/j.cola.2020.100942
Publikováno v:
ICECCS
In this paper, we address the design of distributed systems composed of peers (state-transitions systems) communicating through message exchanges. We consider choreographies as the ground formal model allowing a developer to describe and specify peer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb0ede7533344abdfd2df115cccc159a
https://doi.org/10.1109/iceccs2018.2018.00034
https://doi.org/10.1109/iceccs2018.2018.00034
Publikováno v:
NFM 2018: NASA Formal Methods
11th International Symposium on NASA Formal Methods (NFM 2018)
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Lecture Notes in Computer Science ISBN: 9783319779348
NFM
11th International Symposium on NASA Formal Methods (NFM 2018)
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Lecture Notes in Computer Science ISBN: 9783319779348
NFM
International audience; 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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6bd794bd90b38b770d5025d61de25c9e
https://hal.archives-ouvertes.fr/hal-02450856/file/benyagoub_24892.pdf
https://hal.archives-ouvertes.fr/hal-02450856/file/benyagoub_24892.pdf
Publikováno v:
Model and Data Engineering ISBN: 9783319455464
MEDI
MEDI 2016: Model and Data Engineering
International Conference on Model and Data Engineering (MEDI 2016)
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.260-273
Proceedings of the 6th International Conference on Model and Data Engineering (MEDI 2016)
MEDI 2016-Model and Data Engineering-6th International Conference
MEDI 2016-Model and Data Engineering-6th International Conference, Sep 2016, Almería, Spain. pp.260-273
MEDI
MEDI 2016: Model and Data Engineering
International Conference on Model and Data Engineering (MEDI 2016)
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.260-273
Proceedings of the 6th International Conference on Model and Data Engineering (MEDI 2016)
MEDI 2016-Model and Data Engineering-6th International Conference
MEDI 2016-Model and Data Engineering-6th International Conference, Sep 2016, Almería, Spain. pp.260-273
International audience; Distributed software systems are often built by composing independent and autonomous peers with cross-organisational interaction and no centralised control. These peers can be administrated and executed by geographically distr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3309e53f3bb3f3254f44f92fdc31addb
https://oatao.univ-toulouse.fr/24898/
https://oatao.univ-toulouse.fr/24898/