ABS: A core language for abstract behavioral specification
Paper in proceedings, 2011

This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object groups with a functional language for modeling data. ABS uses asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent objects. This feature combination results in a concurrent object-oriented model which is inherently compositional. We discuss central design issues for ABS and formalize the type system and semantics of Core ABS, a calculus with the main features of ABS. For Core ABS, we prove a subject reduction property which shows that well-typedness is preserved during execution; in particular, "method not understood" errors do not occur at runtime for well-typed ABS models. Finally, we briefly discuss the tool support developed for ABS.

Author

[Person 2b8eb6b2-578a-4649-b40c-9b79874619c7 not found]

[Person adb2aa00-82b9-425b-b415-3c7a56428e56 not found]

[Person 7c4d8e87-f4d9-44b1-bf0d-719c144e191d not found]

[Person 60eafc92-7ca2-48e4-96e6-2f0bf40b95a8 not found]

[Person ed337271-2273-4e9f-9d4f-1a4e8eb9ad33 not found]

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 6957 142-164

Subject Categories

Computer and Information Science

DOI

10.1007/978-3-642-25271-6_8

More information

Latest update

5/26/2020