CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

ABS: A core language for abstract behavioral specification

E.B. Johnsen ; Reiner Hähnle (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; J. Schäfer ; R. Schlatte ; M. Steffen
Lecture Notes in Computer Science: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010; Graz; Austria; 29 November 2010 through 1 December 2010 (0302-9743). Vol. 6957 (2012), p. 142-164.
[Konferensbidrag, refereegranskat]

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.

Denna post skapades 2012-02-07. Senast ändrad 2016-07-26.
CPL Pubid: 154840


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)


Information Technology

Chalmers infrastruktur