Architectural Specifications in CASL-Reference-Cited by-同舟云学术

Architectural Specifications in CASL

Published:2002-07 Issue:3-5 Volume:13 Page:252-273
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Bidoit Michel¹,Sannella Donald²,Tarlecki Andrzej³

Affiliation:

1. Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France, FR

2. Laboratory for Foundations of Computer Science, University of Edinburgh, UK, GB

3. Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland, PL

Abstract

Abstract. One of the most novel features of C ASL , the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular structure of software systems. A brief discussion of refinement of C ASL specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by some details of the features provided in C ASL for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650200012.pdf

Reference37 articles.

1. [Ada94] Ada Reference Manual: Language and Standard Libraries version 6.0. International standard ISO/IEC 8652:1995(E). http://www.adahome.com/rm95/ 1994.

2. A formal basis for architectural connection;Al;ACM Transactions on Software Engineering and Methodology,1997

3. The stratified loose approach: a generalization of initial and loose semantics. Selected Papers from the 5th Workshop on Specification of Abstract Data Types;Bid;Gullane. Springer LNCS,1988

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reducible Theories and Amalgamations of Models;ACM Transactions on Computational Logic;2023-01-18

2. Seismology software: state of the practice;Journal of Seismology;2018-02-02

3. Orchestrating a Network of Mereo(topo)logical Theories;Proceedings of the Knowledge Capture Conference;2017-12-04

4. Specification refinements: Calculi, tools, and applications;Science of Computer Programming;2017-09

5. The Foundational Legacy of ASL;Software, Services, and Systems;2015