Mostrar el registro sencillo del ítem

dc.contributor.authorMoreno-Delgado, Antonio
dc.contributor.authorDurán, Francisco
dc.contributor.authorMeseguer, José
dc.date.accessioned2016-04-08T11:50:04Z
dc.date.available2016-04-08T11:50:04Z
dc.date.created2016
dc.date.issued2016
dc.identifier.urihttp://hdl.handle.net/10630/11131
dc.description.abstractNon-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture or platform to use. These specifications may be an- alyzed using different formalisms and techniques, simulation being one of them. During a simulation, the relevant data involved in the anal- ysis of the NFPs of interest can be measured using monitors. In this work, we show how monitors can be parametrically specified so that the instrumentation of specifications to be monitored can be automatically performed. We prove that the original specification and the automati- cally obtained specification with monitors are bisimilar by construction. This means that the changes made on the original system by adding monitors do not affect its behavior. This approach allows us to have a library of possible monitors that can be safely added to analyze different properties, possibly on different objects of our systems, at will.es_ES
dc.description.sponsorshipUniversidad de Málaga, Campus de Excelencia Internacional Andalucía Tech. Spanish MINECO/FEDER project TIN2014-52034-R, NSF Grant CNS 13-19109.es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectAgentes inteligentes (Programas de ordenador)es_ES
dc.titleTowards Generic Monitors for Object-Oriented Real-Time Maude Specificationses_ES
dc.typeinfo:eu-repo/semantics/preprintes_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.relation.eventtitle11th International Workshop on Rewriting Logic and its Applicationses_ES
dc.relation.eventplaceEindhoven, Holandaes_ES
dc.relation.eventdateAbril 2016es_ES
dc.identifier.orcidhttp://orcid.org/0000-0001-5864-8094es_ES
dc.cclicenseby-nc-ndes_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem