UML class diagrams supporting formalism definition in the Draw-Net Modeling System

The Draw-Net Modeling System (DMS) is a customizable framework supporting the design and the solution of models expressed in any graph-based formalism, thanks to an open architecture. During the years, many formalisms (Petri Nets, Bayesian Networks, Fault Trees, etc.) have been included in DMS. A formalism defines all the primitives that can be used in a model (nodes, arcs, properties, etc.) and is stored into XML files. The paper describes a new way to manage formalisms: the user can create a new formalism by drawing a UML Class Diagrams (CD); then the corresponding XML files are automatically generated. If instead the user intends to edit an existing formalism, a "reverse engineering" function generates the CD from the XML files. The CD can be handled inside DMS, and acts an intuitive and graphical "meta-model" to represent the formalism. An application example is presented

Dynamical Systems; Proceedings of an IIASA Workshop, Sopron, Hungary, September 9-13, 1985

The investigation of special topics in systems dynamics -- uncertain dynamic processes, viability theory, nonlinear dynamics in models for biomathematics, inverse problems in control systems theory -- has become a major issue at the System and Decision Sciences Research Program of IIASA. The above topics actually reflect two different perspectives in the investigation of dynamic processes. The first, motivated by control theory, is concerned with the properties of dynamic systems that are stable under variations in the systems' parameters. This allows us to specify classes of dynamic systems for which it is possible to construct and control a whole "tube" of trajectories assigned to a system with uncertain parameters and to resolve some inverse problems of control theory within numerically stable solution schemes. The second perspective is to investigate generic properties of dynamic systems that are due to nonlinearity (as bifurcations theory, chaotic behavior, stability properties, and related problems in the qualitative theory of differential systems). Special stress is given to the applications of nonlinear dynamic systems theory to biomathematics and ecology. The proceedings of a workshop on the "Mathematics of Dynamic Processes", dealing with these topics is presented in this volume

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

The application of formal methods to the analysis of stochastic oscillators has been at the focus of several research works in recent times. In this paper we provide insights on the application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic (HASL), to that issue. We show how one can take advantage of the expressive power of the HASL logic to define and assess relevant characteristics of (stochastic) oscillators

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science

Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers