scholarly journals Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

2010 ◽  
pp. 83-94 ◽  
Author(s):  
Shin Nakajima ◽  
Masaki Ishiguro ◽  
Kazuyuki Tanaka
Keyword(s):  
Open Systems ◽  
Rewriting Logic ◽  
Modeling And Analysis ◽  
Client Behavior ◽  
Logic Approach

scholarly journals A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

2007 ◽  
Vol 192 (1) ◽  
pp. 125-141 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

2015 ◽  
Vol 6 (2) ◽  
pp. 48-64 ◽  
Author(s):  
Wafa Chama ◽  
Allaoua Chaoui ◽  
Seidali Rehab
Keyword(s):  
Graph Transformation ◽  
Formal Semantics ◽  
Graph Grammars ◽  
Rewriting Logic ◽  
Modeling Framework ◽  
Modeling Tools ◽  
Modeling And Analysis ◽  
Automatic Translation ◽  
Meta Modeling ◽  
Triple Graph Grammars

This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models. This integration is a contribution in formalizing UML models since it lacks for formal semantics. It aims at providing UML with the capabilities of rewriting logic and its Maude language to control and detect incoherencies in their diagrams. Rewriting logic Maude language allows simulation and verification of system's properties using its LTL model-checker. This automatic translation approach is based on meta-modeling and graph transformation since UML diagrams are graphs. More precisely, the authors have proposed five meta-models and three triple graph grammars to perform the translation process. The authors have used Eclipse Generative Modeling tools: Eclipse Modeling Framework (EMF) for meta-modeling, Graphical Modeling Framework (GMF) for generating visual modeling tools and TGG Interpreter for proposing triple graph grammars. The approach is illustrated through an example.

scholarly journals A rewriting logic approach to operational semantics

2009 ◽  
Vol 207 (2) ◽  
pp. 305-340 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

scholarly journals Affect-Logic, Embodiment, Synergetics, and the Free Energy Principle: New Approaches to the Understanding and Treatment of Schizophrenia

Entropy ◽  
2021 ◽  
Vol 23 (12) ◽  
pp. 1619
Author(s):  
Luc Ciompi ◽  
Wolfgang Tschacher
Keyword(s):  
Free Energy ◽  
Open Systems ◽  
The Body ◽  
Psychotic Symptoms ◽  
Energy Principle ◽  
Free Energy Principle ◽  
Emotional Tension ◽  
Sustained Reduction ◽  
Logic Approach ◽  
Body Self

This theoretical paper explores the affect-logic approach to schizophrenia in light of the general complexity theories of cognition: embodied cognition, Haken’s synergetics, and Friston’s free energy principle. According to affect-logic, the mental apparatus is an embodied system open to its environment, driven by bioenergetic inputs of emotions. Emotions are rooted in goal-directed embodied states selected by evolutionary pressure for coping with specific situations such as fight, flight, attachment, and others. According to synergetics, nonlinear bifurcations and the emergence of new global patterns occur in open systems when control parameters reach a critical level. Applied to the emergence of psychotic states, synergetics and the proposed energetic understanding of emotions lead to the hypothesis that critical levels of emotional tension may be responsible for the transition from normal to psychotic modes of functioning in vulnerable individuals. In addition, the free energy principle through learning suggests that psychotic symptoms correspond to alternative modes of minimizing free energy, which then entails distorted perceptions of the body, self, and reality. This synthetic formulation has implications for novel therapeutic and preventive strategies in the treatment of psychoses, among these are milieu-therapeutic approaches of the Soteria type that focus on a sustained reduction of emotional tension and phenomenologically oriented methods for improving the perception of body, self, and reality.

scholarly journals A Rewriting Logic Approach to Type Inference

2009 ◽  
pp. 135-151 ◽  
Author(s):  
Chucky Ellison ◽  
Traian Florin Şerbănuţă ◽  
Grigore Roşu
Keyword(s):  
Type Inference ◽  
Rewriting Logic ◽  
Logic Approach
Sign in / Sign up

Export Citation Format

Share Document