國立虎尾科技大學 |

Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Coordination Models and Languages/ edited by Ferruccio Damiani, Ornela Dardha.
其他題名:	23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
其他作者:	Dardha, Ornela.
面頁冊數:	XVI, 301 p. 134 illus., 56 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Artificial Intelligence. -
電子資源:	https://doi.org/10.1007/978-3-030-78142-2
ISBN:	9783030781422

Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
Coordination Models and Languages23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /[electronic resource] :edited by Ferruccio Damiani, Ornela Dardha. - 1st ed. 2021. - XVI, 301 p. 134 illus., 56 illus. in color.online resource. - Programming and Software Engineering ;12717. - Programming and Software Engineering ;8987.

Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development. The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference. Due to the Corona pandemic this event was held virtually.

ISBN: 9783030781422

Standard No.: 10.1007/978-3-030-78142-2doiSubjects--Topical Terms:

646849
Artificial Intelligence.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
LDR:03716nam a22004215i 4500 001 1055277
003 DE-He213
005 20210826171254.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030781422 $9 978-3-030-78142-2
024 7 $a 10.1007/978-3-030-78142-2 $2 doi
035 $a 978-3-030-78142-2
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Coordination Models and Languages $h [electronic resource] : $b 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / $c edited by Ferruccio Damiani, Ornela Dardha.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XVI, 301 p. 134 illus., 56 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12717
505 0 $a Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.
520 $a This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development. The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference. Due to the Corona pandemic this event was held virtually.
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Applications. $3 669785
650 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Database Management. $3 669820
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 0 $a Artificial intelligence. $3 559380
650 0 $a Application software. $3 528147
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Computer communication systems. $3 1115394
650 0 $a Database management. $3 557799
650 0 $a Software engineering. $3 562952
700 1 $a Dardha, Ornela. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1111784
700 1 $a Damiani, Ferruccio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 884037
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030781415
776 0 8 $i Printed edition: $z 9783030781439
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-78142-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)