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 graph transformations are very intuitive and precise way of modeling and specifying the systems. A wide range of applications supporting the visual modeling techniques, especially in the UML context, are supported by graph transformation techniques. The complementary graphs concept enables applying the distributed and parallel transformations using rules designed for the centralized transformations...
In the paper we propose a graph model for the description and online maintenance of the evolving systems. It provides Derivation Control Environment structure which enables us to control an online derivation process and follows the actions of the system actors. The important feature of proposed solution is its computational complexity, that is acceptable for the online applications and scalability...
Timing diagrams are one of the new types of diagrams introduced in UML ver. 2.0. They are the tool which allows us to characterize the behavior of system components with respect to time parameter. In this paper we propose a method of using Timing Diagrams to estimate the overloading of the boundary elements of the system in the earliest possible stage of system designing - based only on the Use Case...
Using graph grammars as a formal tool that supports the distributed system description necessitates a solution to both the problem of assurance of cohesion distributed subgraphs describing the system and making possible cooperation of (different) graph grammars (that will modify these graphs). The definition of conjugated graph grammars, introduced in the paper, seems to be a possible solution of...
Software testing is the most common practice of software quality assurance. In this paper we will present a method of supporting the test data generations using the information from different kinds of UML diagrams. This method is based on the UML(VR) concept which is the extension of the standard UML with vertical relations which define in the formal way the relations between elements from different...
UML represents the current state of the software model with the help of 13 types of diagrams. The methodology of modeling is usually described as a process of reasoning new properties of these diagrams on the base of their previous versions. There is not, however any formal support of remembering the trace of this reasoning process. The introduction of the vertical relation, showing how an element...
Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems...
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.