Modeling and Reasoning with Multirelations, and their encoding in Alloy
نویسندگان
چکیده
Multisets and multirelations arise naturally in modeling. In this paper, we present a sound and practical mathematical framework, which encodes multisets and multirelations using only ordinary sets and total functions. We implement the encoding as a mutliconcepts library in Alloy, which is declarative, compatible with ordinary sets and relations, and can be incorporated into existing models seamlessly.
منابع مشابه
Ratcheting crystal plasticity modeling in microstructure of magnesium alloy under stress-controlled cyclic tensile loading with non-zero mean stress
Todays, the requirement of lowering the vehicle weight for the reduction of the fuel consumption and emissions, one of the methods considered by designers is to use the ligh magnesium alloy under cylclic loadings. In this article, considering the microstructure of the AZ91D magnesium alloy, its crystalline structure, a model for predicting the ratcheting behavior of this alloy was adapted and v...
متن کاملA comparative study on constitutive modeling of hot deformation flow curves in AZ91 magnesium alloy
Modeling the flow curves of materials at elevated temperatures is the first step in mathematical simulation of the hot deformation processes of them. In this work a comparative study was provided to examine the capability of three different constitutive equations in modeling the hot deformation flow curves of AZ91 magnesium alloy. For this, the Arrhenius equation with strain dependent constants...
متن کاملAn algebraic approach to multirelations and their properties
We study operations and equational properties of multirelations, which have been used for modelling games, protocols, computations, contact, closure and topology. The operations and properties are expressed using sets, heterogeneous relation algebras and more general algebras for multirelations. We investigate the algebraic properties of a new composition operation based on the correspondence t...
متن کاملModeling of Corrosion-Fatigue Crack Growth Rate Based on Least Square Support Vector Machine Technique
Understanding crack growth behavior in engineering components subjected to cyclic fatigue loadings is necessary for design and maintenance purpose. Fatigue crack growth (FCG) rate strongly depends on the applied loading characteristics in a nonlinear manner, and when the mechanical loadings combine with environmental attacks, this dependency will be more complicated. Since, the experimental inv...
متن کاملA Non-Standard Approach for the OWL Ontologies Checking and Reasoning
The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites. The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. In this paper, we propose a new algorithm combined with the software engineering techniq...
متن کامل