Contents [e-Informatica Software Engineering Journal, Vol. 4, 2010, Issue 1]

(1)

(2)

Editors

Zbigniew Huzar (Zbigniew.Huzar@pwr.wroc.pl)

Lech Madeyski (Lech.Madeyski@pwr.wroc.pl, http://madeyski.e-informatyka.pl/ ) Wrocław University of Technology

Institute of Applied Informatics

Wrocław University of Technology, 50-370 Wrocław, Poland e-Informatica Software Engineering Journal

http://www.e-informatyka.pl/wiki/e-Informatica/

All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, transmitted in any form, or by any means, electronic, mechanical, photocopying, recording, or othervise, without the prior written permission of the publishers.

Printed in the camera ready form

c

○ Copyright by Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław 2010

OFICYNA WYDAWNICZA POLITECHNIKI WROCŁAWSKIEJ Wybrzeże Wyspiańskiego 27, 50-370 Wrocław

ISSN 1897-7979

(3)

Editorial Board

Editor-in-Chief

Zbigniew Huzar (Wrocław University of Technology, Poland)

Associate Editor-in-Chief

Lech Madeyski (Wrocław University of Technology, Poland)

Editorial Board Members

Pekka Abrahamsson (VTT Technical Research Centre, Finland) Sami Beydeda (ZIVIT, Germany)

Miklós Biró (Corvinus University of Budapest, Hungary)

Joaquim Filipe (Polytechnic Institute of Setúbal/INSTICC, Portugal) Thomas Flohr (University of Hannover, Germany)

Félix García (University of Castilla-La Mancha, Spain) Janusz Górski (Gdańsk University of Technology, Poland) Andreas Jedlitschka (Fraunhofer IESE, Germany)

Pericles Loucopoulos (The University of Manchester, UK) Kalle Lyytinen (Case Western Reserve University, USA) Leszek A. Maciaszek (Macqarie University Sydney, Australia) Jan Magott (Wrocław University of Technology, Poland) Zygmunt Mazur (Wrocław University of Technology, Poland) Bertrand Meyer (ETH Zurich, Switzerland)

Matthias Müller (IDOS Software AG, Germany) Jürgen Münch (Fraunhofer IESE, Germany)

Jerzy Nawrocki (Poznań Technical University, Poland) Krzysztof Sacha (Warsaw University of Technology, Poland) Rini van Solingen (Drenthe University, The Netherlands) Miroslaw Staron (IT University of Göteborg, Sweden)

Tomasz Szmuc (AGH University of Science and Technology Kraków, Poland) Iwan Tabakow (Wrocław University of Technology, Poland)

Rainer Unland (University of Duisburg-Essen, Germany) Sira Vegas (Polytechnic University of Madrit, Spain) Corrado Aaron Visaggio (University of Sannio, Italy) Bartosz Walter (Poznań Technical University, Poland)

Jaroslav Zendulka (Brno University of Technology, The Czech Republic)

(4)

(5)

Editorial

It is a pleasure to present to our readers the fourth issue of the e-Informatica Software Engineering Journal (ISEJ). The mission of the e-Informatica Software Engineering Journal is to be a prime international journal to publish research findings and IT industry experiences related to theory, practice and experimentation in software engineering. The scope of the jour-nal includes methodologies, practices, architec-tures, technologies and tools used in processes along the software development lifecycle, but particular interest is in empirical evaluation.

The current issue of the journal includes eight papers. The first of the papers by Felkner and Sacha defines formal language that enables handling trust in distributed control systems. The sound and complete deductive system de-riving credentials from initial credentials is pre-sented and explained.

The second of the papers by Martenka and Walter is a contribution extending factor-strategy model proposed by Marinescu. It enables more comprehensive and traceable in-formation concerning detected potential anoma-lies to the designer, resembling the human way of cognition.

The third of the papers by Pahl and Barrett presents a modelling and transformation tech-nique for service-centric distributed systems. Authors capture behavioural aspects and as-sociates quality of architectural structures at different levels of abstraction through patterns. Positive effect of the technique application is illustrated by a case study including design, maintenance and evolution of a system that has been developed by more than 20 people and maintained for more than ten years.

The objective of the fourth paper by Yu is to understand the changing patterns of software complexity. Common coupling is a measure

of the system complexity but also it gives in-sight into software flexibility. How the coupling changes with the evolution of a software system is the subject of study on Apple Darwin, an open-source operating system.

The fifth paper by Hnatkowska and Kasprzyk proposes an approach to business logic implementation that enables easy response to business rules changes. Separation of busi-ness logic layer from busibusi-ness rule layer by in-troducing an integration layer is the core of the idea. The proof-of-concept implementation of the integration layer is presented in the aspect oriented language.

The sixth paper by Rychlý is an interesting application of Milner’s 𝜋-calculus to describe behaviour of components in service-oriented ar-chitecture. A case study of the architecture for functional testing of complex safety-critical systems is presented.

The seventh paper by Staron and Meding presents methods for constructing prediction models of trends in defect inflow in large soft-ware projects. Two models are considered. The first one, so called short-term prediction model, is used to predict the number of defects discov-ered in the code up to three weeks in advance. The second one, long-term prediction model, provides the possibility of predicting the de-fect inflow for the whole project. The initial evaluation of these methods in a large software project at Ericsson shows that the models are sufficiently accurate and easy to deploy.

In the last paper Alhroob, Dahal and Hos-sain present a new technique of test cases gen-eration extending the Integrated Classification Tree Methodology. The stress is put on extrac-tion of legitimate test cases by removing the duplicate test cases and those incomputable with the software specifications. Large amounts

(8)

8 Editorial

of time would have been needed to execute all of the test cases; therefore, a methodology is aimed to select the best testing path which guarantees the highest coverage of system units and avoids using all generated test cases.

We look forward to receiving quality contri-butions from researchers and practitioners in software engineering for the next issue of the journal.

Editors Zbigniew Huzar Lech Madeyski