A formal semantics for Verilog-VHDL simulation interoperability by abstract state machine

2003 ◽  
Author(s):  
H. Sasaki
Keyword(s):  
Formal Semantics ◽  
State Machine ◽  
Abstract State Machine

scholarly journals Formal Semantics for Metamodel-Based Domain Specific Languages

2014 ◽  
pp. 297-323
Author(s):  
Paolo Arcaini ◽  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Natural Language ◽  
Formal Method ◽  
Formal Analysis ◽  
Formal Semantics ◽  
State Machine ◽  
Abstract Syntax ◽  
Domain Specific Languages ◽  
Abstract State Machine ◽  
Domain Specific ◽  
Definition Of

Domain Specific Languages (DSLs) are often defined in terms of metamodels capturing the abstract syntax of the language. For a complete definition of a DSL, both syntactic and semantic aspects of the language have to be specified. Metamodeling environments support syntactic definition issues, but they do not provide any help in defining the semantics of metamodels, which is usually given in natural language. In this chapter, the authors present an approach to formally define the semantics of metamodel-based languages. It is based on a translational technique that hooks to the language metamodel its precise and executable semantics expressed in terms of the Abstract State Machine formal method. The chapter also shows how different techniques can be used for formal analysis of models (i.e., instance of the language metamodel). The authors exemplify the use of their approach on a language for Petri nets.

Formal Semantics for Metamodel-Based Domain Specific Languages

2012 ◽  
pp. 216-241
Author(s):  
Paolo Arcaini ◽  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Natural Language ◽  
Formal Method ◽  
Formal Analysis ◽  
Formal Semantics ◽  
State Machine ◽  
Abstract Syntax ◽  
Domain Specific Languages ◽  
Abstract State Machine ◽  
Domain Specific ◽  
Definition Of

Domain Specific Languages (DSLs) are often defined in terms of metamodels capturing the abstract syntax of the language. For a complete definition of a DSL, both syntactic and semantic aspects of the language have to be specified. Metamodeling environments support syntactic definition issues, but they do not provide any help in defining the semantics of metamodels, which is usually given in natural language. In this chapter, the authors present an approach to formally define the semantics of metamodel-based languages. It is based on a translational technique that hooks to the language metamodel its precise and executable semantics expressed in terms of the Abstract State Machine formal method. The chapter also shows how different techniques can be used for formal analysis of models (i.e., instance of the language metamodel). The authors exemplify the use of their approach on a language for Petri nets.

Reducing Negative Complexity by a Computational Semiotic System

2007 ◽  
pp. 330-342 ◽  
Author(s):  
Gerd Doben-Henisch
Keyword(s):  
Virtual Machines ◽  
Fault Tolerant ◽  
Visual Programming ◽  
State Machine ◽  
Learning Systems ◽  
Semiotic System ◽  
Abstract State Machine ◽  
Set Up ◽  
Self Learning ◽  
Programming Interface

The chapter describes the set-up for an experiment in computational semiotics. Starting with a hypothesis about negative complexity in the environment of human persons today it describes a strategy, how to assist human persons to reduce this complexity by using a semiotic system. The basic ingredients of this strategy are a visual programming interface with an appropriate abstract state machine, which has to be realized by distributed virtual machines. The distributed virtual machines must be scalable, have to allow parallel processing, have to be fault tolerant, and should have the potential to work in real time. The objects, which have to be processed by these virtual machines, are logical models (LModels), which represent dynamic knowledge, including self learning systems. The descriptions are based on a concrete open source project called Planet Earth Simulator.

Sign in / Sign up

Export Citation Format

Share Document