The Formal Semantics of Core ABS and ABS-NET
2013 (English)Report (Other academic)
ABS is a language and framework for modelling distributed object-oriented systems, developed in the EU FP7 HATS project. Core ABS formalizes the key parts of ABS, including the syntax, type system, and an operational semantics in the style of rewriting logic. ABS-NET is a novel operational semantics for Core ABS programs, developed as a part of work on decentralized runtime adaptation of distributed objects. ABS-NET describes program execution on top of a network of nodes connected point-to-point with asynchronous message passing links. This report describes the syntax and semantics of Core ABS and ABS-NET, and is meant to serve as a reference, while highlighting the differences between the reference semantics of ABS programs and the ABS-NET semantics.
Place, publisher, year, edition, pages
KTH Royal Institute of Technology, 2013. , 18 p.
distributed objects, semantics of programming languages, network protocols
Research subject SRA - ICT
IdentifiersURN: urn:nbn:se:kth:diva-127894OAI: oai:DiVA.org:kth-127894DiVA: diva2:646573
FunderEU, FP7, Seventh Framework Programme, 6854
QC 201309192013-09-092013-09-092013-09-19Bibliographically approved