Attributed Hierarchical Port Graphs and Applications
| Autor: | Bruno Pinaud, Maribel Fernández, Nneka Chinelo Ene |
|---|---|
| Přispěvatelé: | Department of Informatics [King's College London], King‘s College London, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université de Bordeaux (UB) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Theoretical computer science Computer science 0206 medical engineering 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] lcsh:QA75.5-76.95 [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI] Computer Science - Software Engineering 0502 economics and business Layer (object-oriented design) Social and Information Networks (cs.SI) Graph rewriting Functional programming 050208 finance Hierarchy (mathematics) business.industry lcsh:Mathematics 05 social sciences [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Computer Science - Social and Information Networks Link (geometry) Extension (predicate logic) Modular design lcsh:QA1-939 Port (computer networking) Logic in Computer Science (cs.LO) Software Engineering (cs.SE) lcsh:Electronic computers. Computer science business 020602 bioinformatics |
| Zdroj: | 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017) 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), Sep 2017, Oxford, United Kingdom. pp.2-19, ⟨10.4204/EPTCS.265.2⟩ Electronic Proceedings in Theoretical Computer Science, Vol 265, Iss Proc. WPTE 2017, Pp 2-19 (2018) |
| Popis: | We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consist of a number of interconnected layers, where each layer defines a port graph whose nodes may link to layers further down the hierarchy; attributes are used to store user-defined data as well as visualisation and run-time system parameters. We also generalise the notion of strategic port graph rewriting (a particular kind of graph transformation system, where port graph rewriting rules are controlled by user-defined strategies) to deal with AHP following the Single Push-out approach. We outline examples of application in two areas: functional programming and financial modelling. In Proceedings WPTE 2017, arXiv:1802.05862 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|