Journal:Informatica
Volume 23, Issue 2 (2012), pp. 191–201
Abstract
Regarding the complexity of actual software systems, including web portals, it is becoming more and more difficult to develop software systems such that their real usage will satisfy their intended usage. To tackle this problem, we can compare the a priori assumptions about how the system should be used with the actual user behavior in order to decide how the system could be improved. For this aim, we propose to employ the same formalism to express the intended usage, the web portal model and the real usage extracted from system usage traces by data mining algorithms. Inspired from BioCham, we propose to use temporal logic and Kripke structure as such a common formalism.
Journal:Informatica
Volume 21, Issue 4 (2010), pp. 487–504
Abstract
Enterprise systems should be assembled out of components and services according to an orchestration schema and taking into account not only functional requirements but also the resulting Quality of Service (QoS). In other words, QoS-aware composition of services and components must be performed. The problem is to find which components or services have to be employed that the resulting system would optimize some QoS attributes while satisfying some other QoS constraints. The paper proposes to use the Constraint Logic Programming approach to solve this problem, that is, we see this problem as a discrete optimization and satisfaction problem.