The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The combination of dynamic model and static model in UML can ensure the integrity of state information and unification of transition process. Our goal is unlimited by areas or tools to formalize the state chart by B. We build static model of state chart diagram by extracting the meta-class as the static aspects. Every meta-class of state chart can be formalized as an associated abstract machine and...
In order to develop an integrated system that can optimise building operations, all facets of monitoring, control and reconfiguration need to be integrated. To achieve this, we need to develop an integrated system model, together with associated sub-system interfaces. This links the low-level wireless/wired systems monitoring with multi-level control, building information management and user-preference...
While the traditional model driven development techniques are useful for building solutions in a reusable manner, they do not say much about how the existing assets in a client environment can be leveraged effectively and efficiently. In this work, we enhance model driven transformation techniques to generate implementation artifacts on a given platform from platform independent models while leveraging...
The definition of an oracle function for model transformation is challenging because of the very complex nature of models resulting from a transformation. Validating the correctness of an output model requires checking a large number of properties on the structure and semantics of this model. The oracle function can thus be very complex if it checks every property. In this paper, we identify and discuss...
The UEML approach is comprising an ontological approach to representation of modeling languages; innovative ideas are i) ontology is not fixed but evolve, ii) ontological analysis outcome is a standardized meta-model of a language, mapping abstract syntax artifacts on ontological artifacts, Hi) automated mechanisms for understanding similarities between language constructs can be applied. The paper...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.