Preserving contexts for soft conformance relation

Simple item page
dc.book.titleFormal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
dc.contributor.authorFrutos Escrig, David De
dc.contributor.authorGregorio Rodríguez, Carlos
dc.contributor.editorGrabowski, Jens
dc.contributor.editorNielsen, Brian
dc.date.accessioned2023-06-20T13:39:15Z
dc.date.available2023-06-20T13:39:15Z
dc.date.issued2005
dc.description.abstractThis paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, we concentrate on the study of the conditions under which a context preserves the soft conformance relation of two agents. These conditions depend both on the specification and the implementation in the conformance relation and also on the context. Since the addition of extraneous actions to the implementation allows to define malicious contexts that would not preserve the conformance relation, such a characterisation of the family of contexts preserving each individual pair (implementation and specification) in the conformance relation is the best result that can be expected in this direction.en
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.facultyInstituto de Matemática Interdisciplinar (IMI)
dc.description.refereedTRUE
dc.description.sponsorshipMadrid Ciencia y Tecnología
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/20768
dc.identifier.citationFrutos Escrig, D. & Gregorio Rodríguez, C. «Preserving Contexts for Soft Conformance Relation». Formal Approaches to Software Testing, editado por Jens Grabowski y Brian Nielsen, vol. 3395, Springer Berlin Heidelberg, 2005, pp. 33-48. DOI.org (Crossref), https://doi.org/10.1007/978-3-540-31848-4_3.
dc.identifier.doi10.1007/978-3-540-31848-4_3
dc.identifier.isbn978-3-540-25109-5
dc.identifier.officialurlhttps//doi.org/10.1007/978-3-540-31848-4_3
dc.identifier.relatedurlhttp://link.springer.com/content/pdf/10.1007%2F978-3-540-31848-4_3
dc.identifier.urihttps://hdl.handle.net/20.500.14352/53227
dc.issue.number3395
dc.language.isoeng
dc.page.final48
dc.page.initial33
dc.publisherSpringer
dc.relation.ispartofseriesLecture notes in computer science
dc.relation.projectIDTERMAS TIC2003-07848-C02-01
dc.relation.projectIDPAC-03-001
dc.relation.projectIDMRTN-CT-2003-505121/TAROT
dc.relation.projectIDTERMAS TIC2003-07848-C02-01
dc.rights.accessRightsopen access
dc.subject.cdu004
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titlePreserving contexts for soft conformance relationen
dc.typebook part
dspace.entity.typePublication
relation.isAuthorOfPublicationfc861853-ad02-4152-b8b0-e0a8df6080dc
relation.isAuthorOfPublication05a01c46-aac8-42b2-a6bc-4b95860cf5bf
relation.isAuthorOfPublication.latestForDiscovery05a01c46-aac8-42b2-a6bc-4b95860cf5bf
Download
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Frutos30springer.pdf
Size:
202.98 KB
Format:
Adobe Portable Document Format
downoload Download
Collections
Secciones de libros