A Formal Approach to the Engineering of Domain-Specific Distributed Systems
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING(2019)
摘要
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 review 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 Open image in new window . For each language, we discuss design choices, present syntax and informal semantics, show some illustrative examples, and describe programming environments and verification techniques.
更多查看译文
关键词
Tuple Space,Invoke Activity,Scelle,Travel Agency Service,Street Light Control
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要