Generating Snapshots of a Component Setting

Authors:
Sotiris Moschoyiannis
Affiliations:
Department of Computing, University of Surrey, Guildford, Surrey, GU2 7XH, England
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 10
Cited 1

Algebraic specification of reactive systems

Theoretical Computer Science
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
The Koala Component Model for Consumer Electronics Software

Computer
An Automata Based Interpretation of Live Sequence Charts

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Behavioural Presentations

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Horizontal communication: a style to compose control software

Software—Practice & Experience
A set-theoretic framework for component composition

Fundamenta Informaticae

Modelling Component Behaviour with Concurrent Automata

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software components are often seen as panacea when faced with the challenges of the increasing use of software in many diverse areas of computation. However, the complex 'call interplay' at the interfaces between components often results in pathological behaviour and hinders effective reuse. There is a clear need for languages for documenting and specifying components in such a way that insulates them from changes in the configuration. In this paper we describe the use of Live Sequence Charts (LSCs) to describe component interactions. Then, we advocate an approach for formalising those interactions to ensure that components interact properly whilst making minimal assumptions about their neighbours.