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.
Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformation with...
Dynamic database behaviour can be specified by dynamic integrity constraints, which determine admissible sequences of database states, and by transaction specifications, which induce executable sequences. Constraints are expressed by formulae of temporal logic, whereas transactions are defined by pre/postconditions in predicate logic. This paper presents concepts and rules for transforming dynamic...
Web service chaining forms one of the basic operation during Web service composition. To decide whether services can be chained, semantic matching between the I/O is usually evaluated. In this paper we propose an approach considering possible adaptation of output data before it is consumed as input by other service. We also define the corresponding rules based on which it is evaluated if the chaining...
The process of semantic web service composition arranges several web services into one composite service to realize complex workflows with an exploitation of semantics. This paper proposes an approach to automatic semantic web service composition. Its advantage is good scalability regarding the complexity of user constraints and pre/post conditions. Based on these conditions it propagates the value...
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.