Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In order to mainstream the production and evolution of IT at the levels of speed, scale, affordability and collaborative effort needed to truly make IT enter the fabric of every economical and societal endeavour, as is the projected future of our society in the next decade, the ease of learning, understanding, and applying new disruptive technologies must drastically improve. We argue that the needs of the people, the economical sectors, and the large-scale trends can only be met if the IT professions embrace and adopt a new way of producing and consuming IT, based on more formal descriptions, more models, more reasoning and analysis before expensive implementations are incurred, coupled with automatic transformations, generations, and analyses that take advantage of the models and formalized knowledge. We analyse briefly the various dimensions, derive a specification for the new IT and IT platforms, and provide a few examples of how the new thinking can disrupt the status quo but empower a better understanding, a more efficient organization, and a more automatic management of the many cross-dimensional issues that future connected software and systems will depend upon.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings
EditorsFalk Howar, Jiří Barnat
PublisherSpringer Verlag
Pages3-18
Number of pages16
ISBN (Print)9783030002435
DOIs
Publication statusPublished - 2018
Event23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ireland
Duration: 3 Sep 20184 Sep 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11119 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
Country/TerritoryIreland
CityMaynooth
Period3/09/184/09/18

Fingerprint

Dive into the research topics of 'Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds'. Together they form a unique fingerprint.

Cite this