The Abstract Behavioral Specification Language: A Tutorial Introduction

Hähnle, Reiner

doi:10.1007/978-3-642-40615-7_1

Cited by 38 publications

(26 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…6. It defines the OO fragment of ABS [17,21], extended with VM concepts. A program is a sequence of VMs-as usual, X denotes a possibly empty finite sequence of elements X .…”

Section: Syntax Of Abs Variability Modulesmentioning

confidence: 99%

“…Moreover, even though each module has its own feature model, there is a global feature namespace. In contrast, VMs target Java-like languages, are based on the module system of ABS [17,21] (a fairly standard module system close to Java and Haskell) and are implemented as an extension of the ABS module system. Each VM has a local namespace (which reduces overhead), also features are local to VMs.…”

Section: Related Workmentioning

confidence: 99%

“…6.6.1], [32]. Specifically, we contribute (i) a theoretical foundation of VMs, including formal syntax and semantics, in terms of a core calculus; and (ii) an implementation of VMs as an extension of the ABS language [17,21].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Variability modules for Java-like languages

Damiani

Hähnle

Kamburjan

et al. 2021

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A

Self Cite

View full text Add to dashboard Cite

A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs (i.e., such that an SPL's variant can depend on variants from other SPLs). MPLs are challenging to model and implement efficiently, especially when different variants of the same SPL must coexist and interoperate. We address this challenge by introducing variability modules (VMs), a new language construct. A VM represents both a module and an SPL of standard (variabilityfree), possibly interdependent modules. Generating a variant of a VM triggers the generation of all variants required to fulfill its dependencies. Then, a set of interdependent VMs represents an MPL that can be compiled into a set of standard modules. We illustrate VMs by an example from an industrial modeling scenario, formalize them in a core calculus, provide an implementation for the Java-like modeling language ABS, and evaluate VMs by case studies. CCS CONCEPTS• Software and its engineering → Software product lines; Modules / packages; Classes and objects.

show abstract

“…6. It defines the OO fragment of ABS [17,21], extended with VM concepts. A program is a sequence of VMs-as usual, X denotes a possibly empty finite sequence of elements X .…”

Section: Syntax Of Abs Variability Modulesmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Variability modules for Java-like languages

Damiani

Hähnle

Kamburjan

et al. 2021

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A

Self Cite

View full text Add to dashboard Cite

show abstract

“…We provide a very short introduction to the Abstract Behavioral Specification (ABS) language. For its formal semantics see Johnsen et al [17], Din et al [11]; for the formal semantics of product lines see Muschevici et al [24], and for a tutorial see Hähnle [14].…”

Section: Abstract Behavioral Specificationmentioning

confidence: 99%

Prototyping Formal System Models with Active Objects

Kamburjan

Hähnle

2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product lines and object orientation that come with extensive tool support. We illustrate our modeling approach by prototyping a weak memory model. The resulting executable model is modular and has clear interfaces between communicating participants through object-oriented modeling. Relaxations of the basic memory model are expressed as self-contained variants of a software product line. As a modeling language we use the formal active object language ABS which comes with an extensive tool set. This permits rapid formalization of core ideas, early validity checks in terms of formal invariant proofs, and debugging support by executing test runs. Hence, our approach supports the prototyping of formal system models with early feedback.

show abstract

“…4. it offers a wide variety of complementary modeling alternatives that integrates a functional layer with algebraic datatypes and functional programming, an imperative layer [6,7,9] with COGs and asynchronous communication, it allows the modeling of real-time behavior [2];…”

Section: The Abs Languagementioning

confidence: 99%

Modeling Deployment Decisions for Elastic Services with ABS

Johnsen¹,

Pun²,

Tarifa³

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources to meet service-level requirements. To avoid software designs that scale poorly, it is important to make deployment decisions for the service at design time, early in the development of the service itself. ABS offers a formal, model-based approach which integrates the design of services with the modeling of deployment decisions. In this paper, we illustrate the main concepts of this approach by modeling a scalable pool of workers with an auto-scaling strategy and by using the model to compare deployment decisions with respect to client traffic with peak loads.Comment: In Proceedings iFMCloud 2016, arXiv:1610.0770

show abstract

The Abstract Behavioral Specification Language: A Tutorial Introduction

Cited by 38 publications

References 34 publications

Variability modules for Java-like languages

Variability modules for Java-like languages

Prototyping Formal System Models with Active Objects

Modeling Deployment Decisions for Elastic Services with ABS

Contact Info

Product

Resources

About