Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 e-Informatica Software Engineering Journal

2 Rychly M.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A case study on behavioural modelling of service-oriented architectures

Rychly M.

e-Informatica Software Engineering Journal

2010

Vol. 4, nr 1

71--87

Service-oriented architecture (SOA) is an architectural style for software systems' design, which merges well-established software engineering practices. There are several approaches to describe systems and services in SOA, the services' derivation, mutual cooperation to perform specific tasks, composition, etc. In this article, we introduce a new approach to describe behaviour of services in SOA, including behaviour of underlying systems of components, which form the services' implementation. The behavioural description uses the process algebra _-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.

A component model with support of mobile architectures and formal description

Rychly M.

e-Informatica Software Engineering Journal

2009

Vol. 3, nr 1

9--25

Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems' parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation.We focus on the formal basis of the component model in detail. We also review the related research on the current theory and practice of formal component-based development of software systems.