Merge pull request #381 from ftsrg/380-add-viatra-to-the-tools-section

Add Eclipse VIATRA to the tools section #380

Author: micskeiz

src/components/research-components/ToolsSection.tsx

@@ -8,26 +8,6 @@ type Props = {
   heroBackgroundImage: ImageDataLike
 }
 
-/*
-const toolsData = [
-  {
-    title: 'research.tools.tool1.title',
-    desc: 'research.tools.tool1.desc',
-    url: 'https://github.com/ftsrg/gamma'
-  },
-  {
-    title: 'research.tools.tool2.title',
-    desc: 'research.tools.tool2.desc',
-    url: 'https://github.com/ftsrg/theta'
-  },
-  {
-    title: 'research.tools.tool3.title',
-    desc: 'research.tools.tool3.desc',
-    url: 'https://github.com/viatra/VIATRA-Generator'
-  }
-]
-*/
-
 type ToolProps = {
   title: string
   desc: string
@@ -57,9 +37,9 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
 
   return (
     <Hero id="tools" bgImage={heroBackgroundImage} heroTitle="research.tools.title" isHeroTitleCentered>
-      <Row className="justify-content-center align-items-stretch" style={{ marginTop: '6rem' }}>
-        <Col lg={4} md={6} className="mb-5 mb-lg-0">
-          <Tool title="research.tools.tool1.title" desc="research.tools.tool1.desc" url="https://github.com/ftsrg/gamma">
+      <Row className="justify-content-center align-items-stretch" style={{ marginTop: '4rem' }}>
+        <Col lg={4} md={6} className="mb-5 mt-5">
+          <Tool title="research.tools.tool1.title" desc="research.tools.tool1.desc" url="">
             <StaticImage
               src="../../../static/images/logos/gamma.png"
               alt={t('research.tools.tool1.title')}
@@ -68,7 +48,7 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
             />
           </Tool>
         </Col>
-        <Col lg={4} md={6} className="mb-5 mb-lg-0">
+        <Col lg={4} md={6} className="mb-5 mt-5">
           <Tool title="research.tools.tool2.title" desc="research.tools.tool2.desc" url="https://github.com/ftsrg/theta">
             <StaticImage
               src="../../../static/images/logos/theta.png"
@@ -78,7 +58,7 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
             />
           </Tool>
         </Col>
-        <Col lg={4} md={6} className="mb-5 mb-lg-0">
+        <Col lg={4} md={6} className="mb-5 mt-5">
           <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://refinery.tools/">
             <StaticImage
               src="../../../static/images/logos/refinery-logo.svg"
@@ -88,6 +68,16 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
             />
           </Tool>
         </Col>
+        <Col lg={4} md={6} className="mb-5 mt-5">
+          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://eclipse.dev/viatra">
+            <StaticImage
+              src="../../../static/images/logos/viatra.png"
+              alt={t('research.tools.tool4.title')}
+              width={58}
+              style={{ filter: 'brightness(0) invert(1)' }}
+            />
+          </Tool>
+        </Col>
       </Row>
     </Hero>
   )

src/locales/en/research.json

@@ -20,6 +20,8 @@
   "research.tools.tool2.desc": "The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.",
   "research.tools.tool3.title": "Refinery graph solver",
   "research.tools.tool3.desc": "Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.",
+  "research.tools.tool4.title": "VIATRA",
+  "research.tools.tool4.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
 
   "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.",
   "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.",

src/locales/hu/research.json

@@ -19,6 +19,8 @@
   "research.tools.tool2.desc": "A Theta modellellenőrző keretrendszer absztrakció-finomítás alapú, korszerű algoritmusok kollekciója, amelyek kombinálhatóságuk révén mindig az adott problémához szabhatók.",
   "research.tools.tool3.title": "A Refinery gráfmegoldó keretrendszer",
   "research.tools.tool3.desc": "A Refinery egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és hatékony generálására szolgál.",
+  "research.tools.tool4.title": "VIATRA",
+  "research.tools.tool4.desc": "Az Eclipse VIATRA egy modell-transzformációs keretrendszer, amely hatékony mintaillesztést és inkrementális modell-szinkronizálási képességeket nyújt.",
 
   "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.",
   "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.",