Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16665
Title: | Continuity as a computational effect |
Author: | Neves, Renato Barbosa, Luis S. Hofmann, Dirk Martins, Manuel A. |
Keywords: | Monads Components Hybrid systems Control theory |
Issue Date: | 15-Aug-2016 |
Publisher: | Elsevier |
Abstract: | The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by 1 + , powerset, and distribution monads in the characterisation of partial, nondeterministic and probabilistic components, respectively. This monad and its Kleisli category provide a universe in which the effects of continuity over (different forms of) composition can be suitably studied. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/16665 |
DOI: | 10.1016/j.jlamp.2016.05.005 |
ISSN: | 2352-2208 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1507.03219v2.pdf | Documento principal | 463.42 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.