3,102 research outputs found
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
The Reengineering Case of the Transformation Tool Contest 2011 deals with
automatic extraction of state machine from Java source code. The transformation
task involves complex, non-local matching of model elements. This paper
contains the solution of the task using model transformation language MOLA. The
MOLA solution uses higher-order transformations (HOT-s) to generate a part of
the required MOLA program. The described HOT approach allows creating reusable,
complex model transformation libraries for generic tasks without modifying an
implementation of a model transformation language. Thus model transformation
users who are not the developers of the language can achieve the desired
functionality more easily.Comment: In Proceedings TTC 2011, arXiv:1111.440
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case
This paper describes the solution of Hello World transformations in MOLA
transformation language. Transformations implementing the task are relatively
straightforward and easily inferable from the task specification. The required
additional steps related to model import and export are also described.Comment: In Proceedings TTC 2011, arXiv:1111.440
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these models to generate refinements leading to usable implementations over specific platforms. There is also interest in factoring out a number of non-functional aspects, such as security, to provide reusable solutions applicable to a number of different applications. This paper brings these two approaches together, investigating, in particular, the way behaviour from the different sources can be combined and integrated into a single design model. Doing so involves transformations that weave together the constraints from the various aspects and are, as a result, more complex to specify than the linear pipelines of transformations used in most MDE work to date. The approach taken here involves using an aspect model as a template for refining particular patterns in the business model, and the transformations are expressed as graph rewriting rules for both static and behaviour elements of the models
FOSS4G date assessment on the isprs optical stereo satellite data. A benchmark for DSM generation
The ISPRS Working Group 4 Commission I on "Geometric and Radiometric Modelling of Optical Spaceborne Sensors", provides a benchmark dataset with several stereo data sets from space borne stereo sensors. In this work, the Worldview-1 and Cartosat-1 datasets are used, in order to test the Free and Open Source Software for Geospatial (FOSS4G) Digital Automatic Terrain Extractor (DATE), developed at Geodesy and Geomatics Division, University of Rome "La Sapienza", able to generate Digital Surface Models starting from optical and SAR satellite images. The accuracy in terms of NMAD ranges from 1 to 3 m for Wordview-1, and from 4 to 6 m for Cartosat-1. The results obtained show a general better 3D reconstruction for Worldview-1 DSMs with respect to Cartosat-1, and a different completeness level for the three analysed tiles, characterized by different slopes and land cover
Model Transformations in MT
Model transformations are recognised as a vital aspect of Model Driven Development,but current approaches cover only a small part of the possible spectrum. In this paper I present the MT model transformation which shows how a QVT-like language can be extended with novel pattern matching constructs, how tracing information can be automatically constructed and visualized, and how the transformed model is pruned of extraneous elements. As MT is implemented as a DSL within the Converge language, this paper also demonstrates how a general purpose language can be embedded in a model transformation language, and how DSL development can aid experimentation and exploration of new parts of the model transformation spectrum
Recovery And Migration Of Application Logic From Legacy Systems
Future Internet technologies necessitate dramatic changes in system design, deliveryand usage patterns. For many legacy applications it means that their furtherdevelopment and transition to the Internet becomes problematic or evenimpossible due to the obsolescence of technologies they use. Replacement ofthe old system with the new one, built from scratch, is usually economicallyunacceptable. Therefore, there is a call for methods and tools supportingthe automated migration of legacy systems into a new paradigm. This paperproposes a tool supported method for recovery and migration of applicationlogic information from legacy systems. The information extracted from a legacyapplication is stored in the form of precise requirement-level models enablingautomated transformation into a new system structure in a model-driven way.Evaluation of the approach is based on a case study legacy system
Smartness. The face of the integration in the new “performing” society
Economia, potere, così come case, persone e lavoro, ma prima di ogni altra cosa città: tutto negli
ultimi anni è chiamato a diventare “smart”. È questa l’era della smart economy, della smart
governance, della smart home, delle smart people, dello smart work e della sempre più
imperante smart city. Con il sostegno della scienza, o meglio delle diverse scienze (ingegneria,
politologia, urbanistica, architettura, sociologia, etc.) che ne spieghino i fondamenti a monte e
della politica che, ai vari livelli (nazionali e internazionali), ne orienti i processi a valle, la
smartness diventa il nuovo orizzonte della società contemporanea a cui conformare senso e
prassi su scala planetaria. Ma cosa significa, per un luogo come per una attività, per una persona
come per una collettività, essere “smart”? Qual è il denominatore comune che lega tra loro le
diverse declinazioni del termine, come gli ambiti di applicazione? Quanto questa ricerca di
intelligenza è ricerca di efficienza? E quanto l’efficienza è di per sé garanzia di intelligenza?
Dopo un breve excursus sul concetto in oggetto e suoi ambiti esplicativi, l’analisi si concentra
sul postulato dell’integrazione quale principale condizione di realizzazione della smartness,
anche per fini efficientisti. È l’integrazione la vera sfida contenuta nella smartness e la vera
promessa, al momento non mantenuta, della società performante
An Open Source Based Data Warehouse Architecture to Support Decision Making in the Tourism Sector
In this paper an alternative Tourism oriented Data Warehousing architecture is proposed which makes use of the most recent free and open source technologies like Java, Postgresql and XML. Such architecture's aim will be to support the decision making process and giving an integrated view of the whole Tourism reality in an established context (local, regional, national, etc.) without requesting big investments for getting the necessary software.Tourism, Data warehousing architecture
- …