Change search
ReferencesLink to record
Permanent link

Direct link
The Formal Semantics of Core ABS and ABS-NET
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2013 (English)Report (Other academic)
Abstract [en]

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.
Keyword [en]
distributed objects, semantics of programming languages, network protocols
National Category
Computer Systems
Research subject
URN: urn:nbn:se:kth:diva-127894OAI: diva2:646573
EU, FP7, Seventh Framework Programme, 6854

QC 20130919

Available from: 2013-09-09 Created: 2013-09-09 Last updated: 2013-09-19Bibliographically approved

Open Access in DiVA

core-abs-net.pdf(304 kB)96 downloads
File information
File name FULLTEXT01.pdfFile size 304 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Palmskog, Karl
By organisation
Theoretical Computer Science, TCS
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 96 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 132 hits
ReferencesLink to record
Permanent link

Direct link