Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-10-29T11:19:32Z
dc.date.available 2012-10-29T11:19:32Z
dc.date.issued 2002-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23089
dc.description.abstract Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and reason about temporal requeriments. In this work, we propose a description of statecharts semantics using Duration Calculus. Thus we build a common semantic model for Duration Calculus speci¯cations and statecharts. The formalization is done in two steps. First, the structure of a statechart is represented using Duration Calculus formula. Then, the semantics of the execution of a step is introduced. en
dc.format.extent 879-890 es
dc.language en es
dc.subject Semantics es
dc.subject statecharts semantics en
dc.subject Duration Calculus en
dc.subject Theory of Computation es
dc.subject Statemate en
dc.title Duration calculus semantics for statecharts en
dc.type Objeto de conferencia es
sedici.creator.person Sánchez, Marisa es
sedici.creator.person Fillottrani, Pablo Rubén es
sedici.creator.person Felder, Miguel es
sedici.description.note Eje: Teoría es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2002-10
sedici.relation.event VIII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)