Displaying similar documents to “Component composition validation”

Refinement of UML collaborations

Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz (2006)

International Journal of Applied Mathematics and Computer Science

Similarity:

The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The...

Generalized Nets Model of an E-Learning System Software Architecture

Dimov, Aleksandar, Ilieva, Sylvia (2007)

Serdica Journal of Computing

Similarity:

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006. Component-based software engineering and software architecture are tightly connected areas in computer science. Software architecture presents the functionality of the system as decomposition into components, the properties of these components and the connectors between them. This paper illustrates a...

Probability timed automata for investigating communication processes

Henryk Piech, Grzegorz Grodzki (2015)

International Journal of Applied Mathematics and Computer Science

Similarity:

Exploitation characteristics behaves as a decreasing valors factor (DVF) which can be connected with degradation processes. It is a structure that consists of independent attributes which represent situations generally connected with a given exploitation factor. The multi-attribute structure contains attributes directly and indirectly referring to the main factor. Attribute states, by definition, can only maintain or decrease their values. Such situations are met in security, reliability,...