Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16665
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Neves, Renato | pt |
dc.contributor.author | Barbosa, Luis S. | pt |
dc.contributor.author | Hofmann, Dirk | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2017-01-19T19:13:30Z | - |
dc.date.available | 2017-01-19T19:13:30Z | - |
dc.date.issued | 2016-08-15 | - |
dc.identifier.issn | 2352-2208 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/16665 | - |
dc.description.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. | pt |
dc.language.iso | eng | pt |
dc.publisher | Elsevier | pt |
dc.relation | POCI-01-0145-FEDER-016692 | pt |
dc.relation | SFRH/BD/52234/2013 | pt |
dc.relation | SFRH/BSAB/ 113890/2015 | pt |
dc.relation | UID/MAT/04106/2013 | pt |
dc.relation | Marie Curie PIRSES-GA-2012-318986 | pt |
dc.rights | openAccess | por |
dc.subject | Monads | pt |
dc.subject | Components | pt |
dc.subject | Hybrid systems | pt |
dc.subject | Control theory | pt |
dc.title | Continuity as a computational effect | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 1057 | pt |
degois.publication.issue | 5, part 2 | pt |
degois.publication.lastPage | 1085 | pt |
degois.publication.title | Journal of Logical and Algebraic Methods in Programming | pt |
degois.publication.volume | 85 | pt |
dc.identifier.doi | 10.1016/j.jlamp.2016.05.005 | pt |
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.