Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 9 / Issue 8

available in:   PDF (201 kB) PS (224 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future

 

Towards a Calculus of State-based Software Components

Luís Soares Barbosa (Dep. Informatica, Universidade do Minho, Portugal)

Abstract: This paper introduces a calculus of state_based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to systems design.

Keywords: coalgebra, semantics, software components

Categories: D.3.1, F.3.2