A Layered Approach To Specification Authoring, Sharing, And Usage

Keywords

JML; Reuse; Specification; Specification languages; Specification management; Spekl

Abstract

Compositional reuse of software libraries is important for productivity. To promote reliability and correctness, there must also be a way to compose specifications for reuse. However, specifications cannot be adapted by the use of wrappers in the same ways as code, which leads to specifications being copied and modified. This copying and modification of specifications leads to poor maintainability and technical debt. We propose a system, Spekl, that solves these problems and makes compositional reuse of specifications possible in a way independent of the choice of specification languages and tools. We provide a detailed description of our system as well as provide details on our domain specific language for creating new tools, provide details on how to author new specifications, and demonstrate how Spekl facilitates compositional reuse through specification layering.

Publication Date

1-1-2018

Publication Title

Advances in Intelligent Systems and Computing

Volume

561

Number of Pages

164-189

Document Type

Article; Book Chapter

Personal Identifier

scopus

DOI Link

https://doi.org/10.1007/978-3-319-56157-8_8

Socpus ID

85027862188 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/85027862188

This document is currently not available here.

Share

COinS