The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods (such as simulation, formal methods, enactment…) that can be performed to derive various properties of this system. The High-Level Language for Systems Specification (HiLLS) has recently been introduced as a graphical language for discrete event simulation, with potential for other types of analysis, like enactment for rapid system prototyping. HiLLS defines an automata language that also opens the way to formal verification.
Article Formal Verification with HiLLS-Specified Models: A Further S...
The first ever formal model or can say a high level language for system specification is Transition System in paper "Formal Verification of Parallel Programs" written by Robert M. Keller Princeton University 1976. . This model was proposed to formally specify parallel programs. Many of the models emerged after it such as Automata Theory, Timed Automata, Hybrid Automata, Model Checking tools specific languages are based on the original labeled transition system (LTS). The new languages like HiLLS or Business Process Model and Notation from Object Management Group and many others are basically evolved from early LTS.
- Badges
- Science topic
- Similar topics
- Comment