Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Francesco Parisi Presicce"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 1-15 (2016)
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can ad
Externí odkaz:
https://doaj.org/article/eda74af14185413581c129116d01ac1b
In previous papers, we proposed an extension of Spider Diagrams to object-oriented modelling, called Modelling Spider Diagrams (MSDs), as a visual notation for specifying admissible states of instances of types, and for verifying the conformance of c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b30ba823ae560d1c3c2bb6c17d6105bc
http://hdl.handle.net/11573/960173
http://hdl.handle.net/11573/960173
Publikováno v:
Software & Systems Modeling. 14:1421-1453
The use of diagrammatic logic as a reasoning mechanism to produce inferences on subsets of some universe could provide a way to overcome the current limitations of visual modelling methods, which have to be integrated with textual languages to expres
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and
Publikováno v:
GaM@ETAPS
Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 1-15 (2016)
Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 1-15 (2016)
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can ad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad6df036f031999bf60d24652faae712
Publikováno v:
Electronic Notes in Theoretical Computer Science. 211:87-98
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may occur on both sides. Rather than going through model reingeneering or
Publikováno v:
Journal of Computer and System Sciences. 71:1-33
Graph-based specification formalisms for access control (AC) policies combine the advantages of an intuitive visual framework with a rigorous semantical foundation that allows the detailed comparison of different policy models. A security policy fram
Autor:
Francesco Parisi-Presicce, Yujie Zhao
Publikováno v:
Electronic Notes in Theoretical Computer Science. 127(1):101-112
Policies are used to control the behavior of large-scale systems. After policies are designed and before policies are implemented, it should be possible to analyze the policies and verify that they behave as expected. Graph transformations provide a
Publikováno v:
ACM Transactions on Database Systems. 28:209-229
The Flexible Authorization Framework (FAF) defined by Jajodia et al. [2001] provides a policy-neutral framework for specifying access control policies that is expressive enough to specify many known access control policies. Although the original form
Publikováno v:
Electronic Notes in Theoretical Computer Science. 72(4):59-70
We present an approach to maintaining consistency between code and specification during refactoring, where a specification comprises several UML diagrams of different types. Code is represented as a flowgraph, and the flowgraph and UML diagrams const