8,537 research outputs found
Smart@POMPEII - Towards the Smart Archaeological Park of Pompeii
No full textIl video, realizzato dai responsabili della cabina di regia (Alberto Bruni e Luca Papi) del progetto pilota MiBAC - CNR, denominato Smart@Pompei, è stato presentato durante l'evento Think2019 (San Francisco - 11, 12 febbraio 2019
Ten virtues of structured graphs
No full textThis paper extends the invited talk by the first author about the virtues
of structured graphs. The motivation behind the talk and this paper relies on our
experience on the development of ADR, a formal approach for the design of styleconformant,
reconfigurable software systems. ADR is based on hierarchical graphs
with interfaces and it has been conceived in the attempt of reconciling software architectures
and process calculi by means of graphical methods. We have tried to
write an ADR agnostic paper where we raise some drawbacks of flat, unstructured
graphs for the design and analysis of software systems and we argue that hierarchical,
structured graphs can alleviate such drawbacks
Evaluating the performance of model transformation styles in Maude
No full textRule-based programming has been shown to be very successful
in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages.
General rewriting frameworks such as Maude are
exible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer's background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant
benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We pointout the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other
On structured model-driven transformations
No full textStructural aspects play a key role in the model-driven development of software systems. Effective techniques and tools must therefore be based on suitable representation formalisms that facilitate the specification, manipulation and analysis of the structure of models. Graphical and algebraic approaches have been shown to be very successful for such purposes: 1) graphs offer natural a representation of topological structures, 2) algebras offer a natural representation of compositional structures, 3) both graphs and algebras can be manipulated in a declarative way by means of rule-based techniques, 4) they allow for a layered presentation of models that enables compositional techniques and favours scalability. Most of the existing approaches represent such layering in a plain manner by overlapping the intra- and the inter-layered structure. It has been shown that some layering structures can be conveniently represented by an explicit hierarchical structure enabling then structurally inductive manipulations of the resulting models. Moreover, providing an inductive presentation of the structure facilitates the compositional analysis and verification of models. In this paper we compare and reconcile some recent approaches and synthesise them into an algebraic and graph-based formalism for representing and manipulating models with inductively defined hierarchical structure
[Poesia] Três poemas de Alberto Secama
No full textThree poems by Alberto Secama. About the author: Alberto Secama is an Angolan poet who has poems published on many websites and on facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secamaTres poemas de Alberto Secama. Sobre el autor: Alberto Secama es un poeta angoleño que tiene poemas publicados en varios sitios y en el facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secamaTrês poemas de Alberto Secama. Sobre o autor: Alberto Secama é um poeta angolano que possui poemas publicados em vários sites e no facebook:https://www.facebook.com/Xungurra/abouthttp://www.pordentrodaafrica.com/cultura/africa-em-verso-rio-kwanza-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/africa-em-verso-zong-por-alberto-secamahttp://www.pordentrodaafrica.com/cultura/coluna-africa-em-verso-o-sol-la-fora-por-alberto-secam
Social Technology Enhancing the Town Centre Management Attractiveness
No full textThe article describes the social technology’s role in the TCM attractiveness from the retailers’ perspective. The exploratory research experience in Sweden during different periods between 2012 and 2016 includes contributions of the literature, direct interviews and analysis of the TCM’s websites. The state-of-the-art of social commerce perception by managers and retailers is defined, and specific evidences are given through research. An interpretation of the concept of attractiveness of the TCM is presented to explain how social commerce could affect this property. Dissonance between opinions and statements of TCM stakeholders are discussed, and the will to use social commerce to increase opportunities for TCM is, in general, declared by retailers, but it is not realized in practice in management activities. A comparative empirical exploration between different countries could be conducted in future. This paper explores the actual situation in the use of website sustaining that the social commerce and the social networks are able to go beyond the supporting of commerce activity and they are able to support the TCM attractiveness and place attachment
- …
