NDLI: DiRPOMS: Automatic Checker of Distributed Realizability of POMSets

Please wait, while we are loading the content...

DiRPOMS: Automatic Checker of Distributed Realizability of POMSets

Content Provider	Hyper Articles en Ligne (HAL)
Author	Guanciale, Roberto
Copyright Year	2019
Abstract	DiRPOMS permits to verify if the specification of a distributed system can be faithfully realised via distributed agents that communicate using asynchronous message passing. A distinguishing feature of DiRPOMS is the usage of set of pomsets to specify the distributed system. This provides two benefits: syntax obliviousness and efficiency. By defining the semantics of a coordination language in term of pomsets, it is possible to use DiRPOMS for several coordination models. Also, DiRPOMS can analyze pomsets extracted by system logs, when the coordination model is unknown, and therefore can support coordination mining activities. Finally, by using sets of pomsets in place of flat languages, DiRPOMS can reduce exponential blows of analysis that is typical in case of multiple threads due to interleaving. (Demo video available at https://youtu.be/ISYdBNMxEDY . Tool available at https://bitbucket.org/guancio/chosem-tools/ ).
Related Links	https://inria.hal.science/hal-02365496/file/478673_1_En_14_Chapter.pdf
ISBN	9783030223977
Conference Proceedings	21th International Conference on Coordination Languages and Models (COORDINATION)
DOI	10.1007/978-3-030-22397-7_14
Volume Number	LNCS-11533
Language	English
Publisher	HAL CCSD Springer International Publishing
Publisher Date	2019-01-01
Access Restriction	Open
Subject Keyword	Pomsets CFSMs Choreography Realisability Computer Science [cs] Computer Science [cs] Networking and Internet Architecture [cs.NI]
Content Type	Text
Resource Type	Conference Proceedings
Subject	Medicine

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in