You are in the accessibility menu

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/11449/35502
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMasiero, P. C.-
dc.contributor.authorMaldonado, J. C.-
dc.contributor.authorBoaventura, I. G.-
dc.date.accessioned2014-05-20T15:25:01Z-
dc.date.accessioned2016-10-25T17:59:21Z-
dc.date.available2014-05-20T15:25:01Z-
dc.date.available2016-10-25T17:59:21Z-
dc.date.issued1994-10-01-
dc.identifierhttp://dx.doi.org/10.1016/0950-5849(94)90021-3-
dc.identifier.citationInformation and Software Technology. Oxford: Butterworth-heinemann Ltd, v. 36, n. 10, p. 615-624, 1994.-
dc.identifier.issn0950-5849-
dc.identifier.urihttp://hdl.handle.net/11449/35502-
dc.identifier.urihttp://acervodigital.unesp.br/handle/11449/35502-
dc.description.abstractStatecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.en
dc.format.extent615-624-
dc.language.isoeng-
dc.publisherButterworth-heinemann Ltd-
dc.sourceWeb of Science-
dc.subjectSTATECHARTSpt
dc.subjectREACTIVE SYSTEMSpt
dc.subjectREACHABILITY TREEpt
dc.subjectEXHAUSTIVE SIMULATIONpt
dc.subjectDYNAMIC PROPERTIES OF STATECHARTSpt
dc.titleA REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIESen
dc.typeoutro-
dc.contributor.institutionUniversidade Estadual Paulista (UNESP)-
dc.description.affiliationUNIV STATE SAO PAULO,UNESP,SJRP,IBILCE,DEPT COMP SCI & STAT,SAO PAULO,BRAZIL-
dc.description.affiliationUnespUNIV STATE SAO PAULO,UNESP,SJRP,IBILCE,DEPT COMP SCI & STAT,SAO PAULO,BRAZIL-
dc.identifier.doi10.1016/0950-5849(94)90021-3-
dc.identifier.wosWOS:A1994PL94600004-
dc.rights.accessRightsAcesso restrito-
dc.relation.ispartofInformation and Software Technology-
Appears in Collections:Artigos, TCCs, Teses e Dissertações da Unesp

There are no files associated with this item.
Show simple item record Show full item record   View Statistics
 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.