Work

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems

Year: 2015

Type: conference-paper

Abstract: In this paper, we propose a formal approach for the design of object-oriented component-based systems using behavioral contracts. This formalism merges interface automata describing communication protocols of components with the semantics of their operations. On grounds of consistency with the object-oriented paradigms, we revisit the notions of incremental design and independent implementability of interface automata by novel definitions of components compatibility, composition, and refinement. Our work is illustrated by a design case study of CBTC railway systems.

Source: International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)

DOI: 10.1145/2737166.2737171

Authors: Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir

Institutions: Université Pierre-et-Marie-Curie, Centre National de la Recherche Scientifique, Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2026212162

FWCI: 0.416

Cites: 28

Cited by: 2

Related to: 10