Work

Cooperative Specification via Composition Control

Year: 2024

Type: conference-paper

Abstract: High-level, declarative specification languages are typically highly modular: specifications are comprised of fragments that are themselves meaningful. As such, complex specifications are built from incrementally composed fragments. In a cooperative specification, different fragments are contributed by different agents, usually capturing requirements on different facets of the system. For example, legal regulators and system administrators cooperate to specify the behaviour of a data exchange system. In practice, cooperative specification is difficult, as different contributors' requirements are difficult to elicit, express, and compose.

Source: ACM SIGPLAN International Conference on Software Language Engineering (SLE)

DOI: 10.1145/3687997.3695635

Authors: Christopher A. Esterhuyse, L. Thomas van Binsbergen

Institution: University of Amsterdam

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: European Regional Development Fund

OpenAlex ID: W4403490676

FWCI: 0.294

Cites: 35

Cited by: 1

Related to: 10