Institutions for navigational logics for graphical structures

We show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our specifications. Moreover, using the properties of our institution, we also show ho...

Descripción completa

Detalles Bibliográficos
Autores: Orejas Valdés, Fernando|||0000-0002-3023-4006, Pino Blanco, Elvira|||0000-0003-3376-5096, Navarro Gómez, Marisa, Lambers, Leen
Tipo de recurso: artículo
Fecha de publicación:2018
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/115595
Acceso en línea:https://hdl.handle.net/2117/115595
https://dx.doi.org/10.1016/j.tcs.2018.02.031
Access Level:acceso abierto
Palabra clave:Formal methods (Computer science)
Graph theory
Software engineering
Institutions
Graph logics
Navigational logics
Mètodes formals (Informàtica)
Grafs, Teoria de
Enginyeria del programari
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
id ES_24e9482adeec44f940e9d55e4e5f1ef8
oai_identifier_str oai:upcommons.upc.edu:2117/115595
network_acronym_str ES
network_name_str España
repository_id_str
spelling Institutions for navigational logics for graphical structuresOrejas Valdés, Fernando|||0000-0002-3023-4006Pino Blanco, Elvira|||0000-0003-3376-5096Navarro Gómez, MarisaLambers, LeenFormal methods (Computer science)Graph theorySoftware engineeringInstitutionsGraph logicsNavigational logicsMètodes formals (Informàtica)Grafs, Teoria deEnginyeria del programariÀrees temàtiques de la UPC::Informàtica::Informàtica teòricaWe show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our specifications. Moreover, using the properties of our institution, we also show how to structure single formulas, which in our formalism could be quite complex.Peer Reviewed20182018-03-0520182018-03-23journal articlehttp://purl.org/coar/resource_type/c_6501AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2117/115595https://dx.doi.org/10.1016/j.tcs.2018.02.031reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 3.0 Spainhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1155952026-05-27T15:37:01Z
dc.title.none.fl_str_mv Institutions for navigational logics for graphical structures
title Institutions for navigational logics for graphical structures
spellingShingle Institutions for navigational logics for graphical structures
Orejas Valdés, Fernando|||0000-0002-3023-4006
Formal methods (Computer science)
Graph theory
Software engineering
Institutions
Graph logics
Navigational logics
Mètodes formals (Informàtica)
Grafs, Teoria de
Enginyeria del programari
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
title_short Institutions for navigational logics for graphical structures
title_full Institutions for navigational logics for graphical structures
title_fullStr Institutions for navigational logics for graphical structures
title_full_unstemmed Institutions for navigational logics for graphical structures
title_sort Institutions for navigational logics for graphical structures
dc.creator.none.fl_str_mv Orejas Valdés, Fernando|||0000-0002-3023-4006
Pino Blanco, Elvira|||0000-0003-3376-5096
Navarro Gómez, Marisa
Lambers, Leen
author Orejas Valdés, Fernando|||0000-0002-3023-4006
author_facet Orejas Valdés, Fernando|||0000-0002-3023-4006
Pino Blanco, Elvira|||0000-0003-3376-5096
Navarro Gómez, Marisa
Lambers, Leen
author_role author
author2 Pino Blanco, Elvira|||0000-0003-3376-5096
Navarro Gómez, Marisa
Lambers, Leen
author2_role author
author
author
dc.subject.none.fl_str_mv Formal methods (Computer science)
Graph theory
Software engineering
Institutions
Graph logics
Navigational logics
Mètodes formals (Informàtica)
Grafs, Teoria de
Enginyeria del programari
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
topic Formal methods (Computer science)
Graph theory
Software engineering
Institutions
Graph logics
Navigational logics
Mètodes formals (Informàtica)
Grafs, Teoria de
Enginyeria del programari
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
description We show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our specifications. Moreover, using the properties of our institution, we also show how to structure single formulas, which in our formalism could be quite complex.
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-03-05
2018
2018-03-23
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/115595
https://dx.doi.org/10.1016/j.tcs.2018.02.031
url https://hdl.handle.net/2117/115595
https://dx.doi.org/10.1016/j.tcs.2018.02.031
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404727260741632
score 15.300719

Similares en LA Referencia