• Prˇíspěvek [1] získal na mezinárodní konferenci ISIM’06 ocenění „one of the best student papers“. Účast na projektech • Modelování architektur zalozˇeny´ch na sluzˇbách (rˇesˇitel),

Consulting software systems architect

Abstract. Nowadays enterprise information systems are designed as distributed network systems, where existing information systems and new components are connected together via a middleware. In most cases, architectures of the systems can be described informally or semiformally by means of common design tools. But there are also critical applications where an information system is getting involved, and a formal architecture specification is necessary. This paper describes a design of a framework for distributed information systems with a mobile architecture and an outline of its implementation. The framework provides an automatic derivation of a formal specification from an implementation of system, without an explicit formal description in a design phase of project. The derived specification can be used for a quick formal proof of correctness after radical changes in an implementation phase, without a maintenance of a formal design. 1

An architectural design of a distributed information system and its implementation can be very complex and difficult – especially in a case of dynamic architecture, which is changing in a system runtime according to behaviour of the system. Formal approaches can eliminate most failures by model checking, but they require a formal specification of architecture in the design phase of a project. In many cases, this strong dependency of the formal specification on the design phase needs some variant of waterfall development method, which isn’t suitable for an agile development. A framework for distributed information systems with mobile architecture, which is introduced in this article, approaches a formal architectural specification in a different way, without the dependency on a design phase. The framework provides an implementation toolkit, which allows an automatic derivation of a formal specification in the process algebra π-calculus in the implementation phase of a project. The independence of formal architectural specification from the design phase can be used for preservation of correct formal description of a system after radical changes in an implementation phase. This can decrease costs of the changes, which are critical, especially in final phases of projects.

Developing architectural support for self-adaptive systems, i.e. systems that are able to autonomously adapt to changes in their operating conditions, is a key challenge for software engineers. Multi-agent systems are a class of decentralized systems that are known for realizing qualities such as adaptability and scalability. In this paper, we present a pattern language for multi-agent systems. The pattern language distills domain-specific architectural knowledge derived from extensive experiences with developing various multi-agent systems. The pattern language, consisting of the five interrelated patterns, supports architects with designing software architectures for a family of self-adaptive systems. We illustrate the patters for a case study in the domain of automated transportation systems. 1.

Abstract:- This paper describes results and observations pertaining to the development of a compiler utility for an Architecture Description Language π-ADL, for the.NET platform. Architecture Description Languages or ADLs, are special purpose high level languages especially construed to define software architectures. π-ADL, a recent addition to this class of languages, is formally based on the π-Calculus, a process oriented formal method. The compiler for π-ADL, named π-ADL.NET, is designed with the view of bringing the architecture driven software design approach to the.NET platform. The process oriented nature and a robust set of parallelism constructs of π-ADL make the π-ADL.NET project a novel application of compiler techniques in the context of the.NET platform, with many valuable lessons learnt. This paper presents the π-ADL.NET effort from a compiler design perspective, and describes the inclusive approach driving the design that facilitates the representation of strong behavioral semantics in architecture descriptions. The subjects of parallel process modeling, communication and constructed data types are covered. The paper also documents the motivation, vision and future possibilities for this line of work. A detailed comparison with related work is also presented.

To provide hierarchical description from different software architectural view points we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components. Also, these mechanisms will support the refinement and traceability of architectural elements through the different levels of each hierarchy. Current methods and tools provide poor support for the challenge posed by developing system using hierarchical description. This paper describes an architecture-centric approach allowing the user to describe the logical architecture view where a physical architecture view is generated automatically for all application instances of the logical architecture. 1

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. We also described this software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. In this article we summarize that work and describe a similar software development process for implementation of software systems using a client/server model and present this in a CASE setting as well.