Fuzzy relational compositions have been extensively studied by many authors. Especially, we would like to highlight initial studies of the fuzzy relational compositions motivated by their applications to medical diagnosis by Willis Bandler and Ladislav Kohout. We revisit these types of compositions and introduce new definitions that directly employ generalized quantifiers. The motivation for th...

RESTful services are becoming a popular technology for providing and consuming cloud services. The idea of cloud computing is based on on-demand services and their agile usage. This implies that also personal service compositions and workflows should be supported. Some approaches for RESTful service compositions have been proposed. In practice, such compositions typically present mashup applica...

Meta-level compositions of object logic programs are naturally implemented by means of meta-programming techniques. Meta-interpreters deening program compositions however suuer from a computational overhead that is due partly to the interpretation layer present in all meta-programs, and partly to the speciic interpretation layer needed to deal with program compositions. We show that meta-interp...

A partially ordered (generalized) pattern (POP) is a generalized pattern some of whose letters are incomparable. In this paper, we study avoidance of POPs in compositions and generalize results for avoidance of POPs in permutations and words. Specifically, we obtain results for the generating functions for the number of compositions that avoid shuffle patterns and multi-patterns. In addition, w...

Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composition correctness checking and adaptation. However, resulting composition models (e.g., orchestrations or adaptors) often contain redundant or useless parts yielding the state explosion problem. Mechanisms to reduce the...

This thesis proposes a concept and transformations for designing interactions in a service composition at related abstraction levels. The concept and transformations are aimed at helping designers to bridge the conceptual gap between the business and software domains. In this way, the complexity of an interaction design can be managed adequately. A service composition is specified as one or mor...

We study the following questions: (1) What are all solutions to f ◦ f̂ = g ◦ ĝ in complex rational functions f, g ∈ C(X) and meromorphic functions f̂ , ĝ on the complex plane? (2) For which rational functions f(X) and g(X) with coefficients in an algebraic number field K does the equation f(a) = g(b) have infinitely many solutions with a, b ∈ K? We utilize various algebraic, geometric and analyti...

Here we present some results obtained in Shapes, an evolutionary environment applied to artistic production in visual domain. In Shapes environment the user can interactively create and evolve visual compositions by using random variations of pre-programmed objects. Pixels of these compositions can be used in another evolutionary environment, ArTVox, to direct a sound sequence creating, in this...

A composition σ = a1a2 . . . am of n is an ordered collection of positive integers whose sum is n. An element ai in σ is a strong (weak) record if ai > aj (ai ≥ aj) for all j = 1, 2, . . . , i− 1. Furthermore, the position of this record is i. We derive generating functions for the total number of strong (weak) records in all compositions of n, as well as for the sum of the positions of the rec...