Abstract | ||
---|---|---|
The development of distributed systems based on poorly specified abstractions can hinder unambiguous understanding and the creation of common formal analysis methods. In this paper, we outline the design of a system modeling language called DS2, and point out how its primitives are well matched with concerns that naturally arise during distributed system design. We present an operational semantics for DS2 as well as results from an ongoing Scala-based implementation slated to support a variety of state-space exploration techniques. The driving goals of this project are to: (1) provide a prototyping framework within which complex distributed system protocols can be stated and modeled without breaking the primitives down to low level ones, and (2) drive the development of interesting and distributed system-relevant property checking methods (e.g., linearizability). |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/IRI.2016.37 | 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) |
Keywords | Field | DocType |
Distributed Systems,Operational Semantics,Scheduling,Concurrency,Actors | Data mining,Structured systems analysis and design method,Operational semantics,Scala,Model checking,Concurrency,Computer science,Schedule,Systems modeling,Semantics,Distributed computing | Conference |
ISBN | Citations | PageRank |
978-1-5090-3208-2 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammed S. Al-Mahfoudh | 1 | 0 | 0.34 |
Ganesh Gopalakrishnan | 2 | 14 | 4.79 |
Ryan Stutsman | 3 | 736 | 42.91 |