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