Recent Changes - Search:
GSDP official logo

These wiki-pages are work-pages for the DSL4MGS work package of the Global System Dynamics and Policy project.

GSSLanguages

Formal Languages and Integrated Problem Solving procedures in GSS

Chair: Prof. Patrik Jansson, Chalmers University of Technology

One of five parallel workshops on "Knowledge Technologies for GSS", 2013-06-11: 11.00 13.00, as part of the Second Global Systems Science Conference in Brussels.

Links:


Global Systems Science (GSS) is about developing systems, theories, languages and tools for computer-aided policy making with potentially global implications. The focus of this workshop is the interaction between core computer science, software engineering and GSS. Topics covered include

  • Languages for policy formulation and enforcement
  • Software as a key to productivity and innovation in industry and academia
  • Domain Specific Languages for Financial IT

We will also touch upon

  • Dependable modelling
  • Verification and Validation of Simulation Models

Speaker
Piero Bonatti
Title
Languages for policy formulation and enforcement
Abstract
Policies govern and constrain a system's behavior, and as such specify mappings from complex situation descriptions to decisions (or at least sets of options to support human decision making). The perfect languages for expressing such mappings should enjoy a number of features, including: clarity and conciseness, explainability, formal verifiability, and the ability of adapting to an enormous number of possible event combinations. The same requirements arise in the restricted domain of security policies. In this talk, the experience gathered in this field will be reported with the purpose of identifying the most effective languages for policy formulation.
Link
Slides for the talk and a GSS blog entry
Speaker
Martin Elsman, HIPERFIT, DIKU, Denmark
Title
Global Systems Science meets Programming Languages and Systems
Abstract
In this talk, we demonstrate how functional programming and domain specific languages, in particular, can be useful for effectively deriving performance efficient programs and systems. As an example, we outline a system for specifying financial contracts (used in practice by the financial industry) and demonstrate the effect of applying programming language technology to derive tools for pricing contracts efficiently on modern parallel hardware. We argue that research in managing and querying big data and efficiently performing big computations (simulations), as for instance carried out by the HIPERFIT research center, is a central ingredient of the development of a Global Systems Science.
Link
Slides for the talk and the corresponding GSS blog post
Speaker
Jaana Nyfjord, Director, Swedsoft, Sweden
Title
Software as a key to cross-border innovation
Abstract
Software development is becoming an increasingly important part in innovation, production and services for both private and public organisations. Efficient software development with high quality, productivity and commercial impact is decisive for the competitiveness of our industry. Software development crosses industry and societal borders in a unique way. It is driving the renewal of many value chains through the increased use of IT in services and business processes. This gives opportunities for companies and society in large. Swedsoft in cooperation with representatives from industry, research institutes, academia, and the public sector has developed a strategic research and innovation agenda for software development. It will form the basis for a strategic initiative to ensure that Sweden keeps and further strengthens its leading position in the field.
Links
Slides, a Swedsoft report and a GSS blog entry about this talk
Edit - History - Print - Recent Changes - Search
Page last modified on June 23, 2013, at 07:37 AM