Applying the concepts of Service-Oriented Architectures (SOA) has already become a mainstream in industry. The development of business applications according to these principles implies a layered design and implementation. This paper describes an industrial approach to the verification of a consistency relation between such layers. In our case service choreographies defined by Message Choreogra...

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling language metamodel may cause major problems in the language applications; thus with the model driven systems development the solidness of mode...

The review deals with the term “absolute architecture” of Pier Vittorio Aureli, detecting its references from Gianugo Polesello, Aldo Rossi and Manfredo Tafuri. In book published in 2011, Aureli associates “an absolute solidness resoluteness geometrical form as island not only within but also against sea urbanization expansive logic economy. Indeed, who was Aureli’s teacher IUAV, remarked “L’ar...

A mid this last decade, network systems have encountered solid development because of their capacity to give an extra and reciprocal backing for existing infrastruc-ture correspondence frameworks. In such a system, switches should be altered for short (e.g. open security arrangement) or long (e.g. system administrator augmentation) period. This relative solidness of foundation makes proactive d...

Two calculation methods are mainly implemented during the construction as well as modeling of the rolling rolls. These are: deterministic (classical) and probabilistic – calculation based on reliability. When using deterministic method, starting point considers that the workloads as well as material specifications are invariable values. However, in reality, rolling rolls are burdened with varia...

in this paper, we introduce a new type of almost statistical convergence of generalized difference sequences of fuzzy numbers. we give the relations between the strongly almost cesàro type convergence and almost statistical convergence in these spaces. furthermore, we study some of their properties like completeness, solidity, symmetricity etc. we also give some inclusion relations related to t...

The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Therefore the reader may be surprised to learn that there is a uniform relationship between the corresponding operators of this calculus and the classical calculus. Several basic concepts based on non-Newtonian calculus are presented by Grossman (1983), Grossman...

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling language metamodel may cause major problems in the language applications; thus with the model driven systems development the solidness of mode...