当前位置: X-MOL 学术J. Log. Algebr. Methods Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A formal approach to the engineering of domain-specific distributed systems
Journal of Logical and Algebraic Methods in Programming ( IF 0.7 ) Pub Date : 2019-11-26 , DOI: 10.1016/j.jlamp.2019.100511
Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi

We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. More specifically, we examine the distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming. We then present an overview of four different languages, namely Klaim, Cows, Scel and AbC. For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments and verification techniques.



中文翻译:

领域特定的分布式系统工程的正式方法

我们回顾了一些有关规范,编程和验证不同类别的分布式系统的结果,这些结果源于佛罗伦萨大学并发和移动性小组的研究。更具体地说,我们研究了网络感知编程,面向服务的计算,自主计算和集体自适应系统编程的显着特征。然后,我们概述了四种不同的语言,即KlaimCowsScel 和A b C。对于每种语言,我们讨论设计选择,当前的语法和语义,显示如何使用不同的形式主义对旅行预订方案进行建模和编程,并描述编程环境和验证技术。

更新日期:2019-11-26
down
wechat
bug