Time filter

Source Type

Boudiaf N.,University of Oum El Bouaghi | Bensaber K.,Eurofunk Kappacher GmbH Company
Engineering Letters | Year: 2012

ECATNets are a category of algebraic Petri nets. The main feature of ECATNets is, their sound and complete semantics are based on rewriting logic. In this paper, we study the application of reduction rules to ECATNets in order to cope with state explosion problem. We adopted a reduction rule defined for algebraic Petri nets by K. Schmidt in 1997. The integration of ECATNets in the rewriting logic and its language Maude is very promising in terms of implementation of this reduction rule thanks to the concept of the reflectivity of rewriting logic: the self-interpretation of this logic allows us the modeling of an ECATNet and acting on it. We used Maude system to implement and execute such reduction rule adapted for ECATNets. We show how the representation of ECATNets in Maude, helps us to simplify the development by disregarding several details. Maude offers many functions to deal with the meta-level which makes our implementation easy. We show also in this paper how reduction rules help us to get reduced ECATNets smaller than original ones and faster for analyzing some properties.

Boudiaf N.,University of Oum El Bouaghi | Bensaber K.,Eurofunk Kappacher GmbH Company | Sid K.,University of Oum El Bouaghi | Sahbi R.,University of Oum El Bouaghi
Journal of Theoretical and Applied Information Technology | Year: 2010

The lack of formal semantics in the existing formalisms describing multi-agents models combined with multi-agents systems complexity are sources of several problems during their development process. Formal methods are known to bring rigorous and precise descriptions. In previous papers, we have proposed a formal and generic framework called AUML-Maude allowing formal description and validation of AUML model with Maude. This language, based on rewriting logic, offers a rich notation supporting formal specification, implementation and verification of concurrent systems. In this paper, we enrich the translation AUML-Maude by new ideas and we propose a rewriting logic based tool for the edition and the analysis of AUML model. The tool allows to the user to draw AUML system graphically and translates the graphical representation to Maude specification for analysis. This tool allows preserving the graphic notations offered by AUML model for clarity and getting a formal specification in Maude for formal semantics and analysis. © 2005 - 2010JATIT. All rights reserved.

Gruber C.,Eurofunk Kappacher GmbH | Hofbaur M.,Joanneum Research
Mechanical Sciences | Year: 2016

The subject of this work is modeling and classification of single-bodied wheeled mobile robots (WMRs). In the past, it was shown that the kinematics of each such robot can be modeled by one out of only five different generic models. However, the precise conditions under which a model is the proper description of the kinematic capabilities of a robot were not clear. These shortcomings are eliminated in this work, leading to a simple procedure for model selection. Additionally, a thorough analysis of the kinematic models and a classification of their singularities are presented. © Author(s) 2016.

Loading Eurofunk Kappacher GmbH Company collaborators
Loading Eurofunk Kappacher GmbH Company collaborators