Filters








15 Hits in 4.2 sec

F-Alloy: An Alloy Based Model Transformation Language [chapter]

Loïc Gammaitoni, Pierre Kelsen
2015 Lecture Notes in Computer Science  
In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation.  ...  The relational logic language Alloy has been used in the past to verify properties of model transformations. In this paper we introduce the concept of functional Alloy modules.  ...  Related work on model transformation languages. We can consider the F-Alloy language as a simple relational model transformation language.  ... 
doi:10.1007/978-3-319-21155-8_13 fatcat:4q46427oj5cabog5zjgfeykjxm

Agile Validation of Higher Order Transformations Using F-Alloy

Loic Gammaitoni, Pierre Kelsen, Qin Ma
2016 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)  
In previous work, we proposed a sub-language of Alloy, called F-Alloy, that is tailored for model transformation specifications.  ...  The relational logic based specification language Alloy and its accompanying tool the Alloy Analyzer have been used in the past to validate properties of model transformations.  ...  AN INTERPRETABLE MODEL TRANSFORMATION LANGUAGE: F-ALLOY A. Basic F-modules The F-Alloy language [6] is an Alloy-based Domain Specific Language (DSL) for model transformations.  ... 
doi:10.1109/tase.2016.21 dblp:conf/tase/GammaitoniK016 fatcat:6q3xgdkofjewbeg5g36t2lylum

F-Alloy: a relational model transformation language based on Alloy

Loïc Gammaitoni, Pierre Kelsen
2017 Journal of Software and Systems Modeling  
In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation.  ...  The relational logic language Alloy has been used in the past to verify properties of model transformations. In this paper we introduce the concept of functional Alloy modules.  ...  Related work on model transformation languages. We can consider the F-Alloy language as a relational model transformation language.  ... 
doi:10.1007/s10270-017-0630-9 fatcat:2rmk72i6krhvzf6jlktykodbl4

Agile validation of model transformations using compound F-Alloy specifications

Loïc Gammaitoni, Pierre Kelsen, Qin Ma
2018 Science of Computer Programming  
To tackle the performance and scalability limitations, in previous work, we proposed an Alloy-based Domain Specific Language (DSL), called F-Alloy, that is tailored for model transformation specifications  ...  The relational logic based specification language Alloy and its accompanying tool the Alloy Analyzer have been used in the past to validate properties of model transformations.  ...  An interpretable model transformation language: F-Alloy The F-Alloy language [10] is an Alloy-based Domain Specific Language (DSL) for model transformations.  ... 
doi:10.1016/j.scico.2017.07.001 fatcat:ndt4xgrfsfeetidqp6soalobsy

Introduction to the STAF 2015 special section

Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
2018 Journal of Software and Systems Modeling  
The second contribution F-Alloy: a relational model transformation language based on Alloy by Loïc Gammaitoni and Pierre Kelsen proposes a sublanguage of Alloy called F-Alloy specifically designed to implement  ...  The semantics of F-Alloy is given as a direct translation to Alloy. Thus, all automatic analysis features of Alloy are directly applicable for model transformations implemented in F-Alloy.  ... 
doi:10.1007/s10270-018-0686-1 fatcat:ilcphfxxyng5dcsksvan6vsiyu

RPSL meets lightning: A model-based approach to design space exploration of robot perception systems

Loic Gammaitoni, Nico Hochgeschwender
2016 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)  
challenges in the context of robot perception software systems by combining two already existing technologies, namely RPSL for the specification of robot perception system's design spaces and Lightning, a language  ...  Excerpt of an F-Alloy transformation from Alternative Model to Visual Language Model module VisualisationTransformation open AlternativeModel open VisualLanguageModel one sig CREATE{ mainFrame : Component  ...  This transformation is expressed in F-Alloy [19] , a sublanguage of Alloy allowing the specification of efficiently computable model transformations 4 This excerpt contains all the mappings used to  ... 
doi:10.1109/simpar.2016.7862378 dblp:conf/simpar/GammaitoniH16 fatcat:pym7johpejhllkwxmu7sjmjsfe

SBVR2Alloy: An SBVR to Alloy Compiler

Nurulhunda A Manaf, Andreas Antoniades, Sotiris Moschoyiannis
2017 2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA)  
The proposed approach builds on a model transformation between Semantics of Business Vocabulary and Rules (SBVR), an OMG standard for specifying business models in structured English, and the Alloy Analyzer  ...  which is a SAT based constraint solver.  ...  [30] generate OCL (Object Constraint Language) via SBVR structured English and then transform these constraints into Alloy.  ... 
doi:10.1109/soca.2017.18 dblp:conf/soca/ManafAM17 fatcat:qq7suyo25vgtfdbva7riutz3yy

Incremental backward change propagation of view models by logic solvers*

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16  
In this paper we introduce a novel delta-based backward transformation technique using SAT solvers to synthetize valid and consistent change candidates in the source model, where only forward transformation  ...  View models can be specified by unidirectional forward transformations (frequently captured by graph queries), and automatically maintained upon changes of the underlying source model using incremental  ...  Model Generation by Logic Solvers Logic solver based model generation for a domain specific language is an actively researched area.  ... 
doi:10.1145/2976767.2976788 fatcat:vc4x2evetffzxkqvznznhdcgka

Effect of Excessive Fe2O3 on Microstructural Evolution of Micro/Nanocrystalline 2205 Duplex Stainless Steel Prepared by Aluminothermic Reaction

Yuehong Zheng, He Zhao, Na Zhang, Peiqing La, Yu Shi, Min Zhu, Faqi Zhan
2020 Frontiers in Materials  
As can be seen from Figures 4B-F , alloys prepared with the Fe 2 O 3 excess ratios of 2.5, 5, 7.5, 10, and 12.5% are mainly composed of concave and convex phases.  ...  Finally, the alloy only contains the α phase. With the increase in Fe 2 O 3 , Al will gradually decrease, which will promote the transformation of the α to γ phase in the alloy.  ...  This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY).  ... 
doi:10.3389/fmats.2020.00119 fatcat:6zneqwviazaurpugfjij3aoqie

Federating Policy-Driven Autonomous Systems: Interaction Specification and Management Patterns

Alberto Schaeffer-Filho, Emil Lupu, Morris Sloman
2014 Journal of Network and Systems Management  
We have previously proposed the Self-Managed Cell (SMC) as an architectural pattern for managing autonomous ubiquitous systems that comprise both hardware and software components and that implement policybased  ...  Finally, we present a formalisation of our model that allows a rigorous verification Neither the entire paper nor any part of its content has been published or has been accepted for publication elsewhere  ...  Alloy is a declarative modelling language based on firstorder logic and used for expressing complex structural constraints and behaviour in a software system.  ... 
doi:10.1007/s10922-014-9317-5 fatcat:sauzl26evrhzrcuxiby3oa4rd4

Catalysis - where science and industry meet

J. Haber
1994 Pure and Applied Chemistry  
Influence of electronic structure of transition metal atoms, structure sensitivity of catalytic reactions, tailoring of acid-base and redox properties of zeolites, quantum chemical description of elementary  ...  This i s the manifestation o f the ligand e f f e c t which may operate also i n the case o f alloy c a t a l y s t s [131.  ...  In the case of homogeneous catalysis, an organometallic complex may be described in quantum chemical language supplying data on the behaviour of the reactants of a catalytic reaction when they interact  ... 
doi:10.1351/pac199466081597 fatcat:35fzgtmzfrdyhcdyci7cjmobly

Walter Rosenhain and Materials Research at Teddington

A. Kelly
1976 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
T he im m ediate need was to u n derstand the constitution o f alloys. This started w ith an investigation of the alloys of lead and tin (R osenhain & T ucker 1908) .  ...  would not be classed as an allotropic transform ation 'and /?  ...  O nce a team is form ed this hu m an grouping develops an inner logic of its own and a good deal of its tim e is spent in ensuring the proper com m unication between the com ponent parts of the individual  ... 
doi:10.1098/rsta.1976.0050 fatcat:jvuvgrigbbbfzlxhjlkxd76smq

A kernel language based exchange framework for behavioural modelling languages

Christian Kletzander, Manuel Wimmer
2018
The literature describes several techniques to transform a modelling language into another pre-defined modelling language, but all of these are fixed to specific types of modelling languages and do not  ...  In this thesis, I introduce a new technique that allows exchanging a small amount of behavioural modelling languages through a standardized kernel language based exchange framework.  ...  ATL, QVT, F-Alloy,...).  ... 
doi:10.34726/hss.2018.37445 fatcat:jpcsoslitbaflntzg667ujwnru

Parametric Studies Based Mechanical and Thermal Modelling of Spot Welded Joints

AAW Norbury
2017
Alloy Inconel 600 and 310 SS when temperatures exceed 899°C (1650°F). Alloy 600 has high resistance to oxidization and corrosion at high temperatures.  ...  A specific programming language is selected based on the model, analysis task requirements and the most critical programming properties of the language (Prechelt, 2000) .  ... 
doi:10.24377/ljmu.t.00005848 fatcat:z72k4yjdknaxrldxzi2k45ixyq

The Daily Texan [article]

University Of Texas At Austin
1974
Ih all, 76 legislative dis-i (Related Story, -Page 3.) r CI , ty '"^ora'idum IBM and Bergstrom Air»Force Base, <;^>ould be $3,394,42^.;.  ...  "Capitol office following Clayton's an-' Among the list'Head' released"" werT"" --JOancement^vvhich said, "By this list. '-. Reps. Joe Pentonv. SenfroqJa Thompson.  ...  Mim- ' $$•}% FULLY LUGGED FRAME FOR STRENGTH " -it; -f ALLOY STEM & HANDLE BARS " 1 ALTENBURGER ALLOY £RAtfE5 WITH QUICK RELEASE^ .TUBULAR TIRES iz VG*r i 2 1® ALLOY STEEL RAT.TRAP h tjQEDALS WITH R£ SIMPLEX  ... 
doi:10.15781/t2mw28f3z fatcat:dg5yw2t6cnfc7jx5dpsrq5geea