DATABASES AND INFORMATION SYSTEMS VI
Frontiers in Artificial Intelligence and Applications FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. The FAIA series contains several sub-series, including “Information Modelling and Knowledge Bases” and “Knowledge-Based Intelligent Engineering Systems”. It also includes the biennial ECAI, the European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence – sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection. Series Editors: J. Breuker, N. Guarino, J.N. Kok, J. Liu, R. López de Mántaras, R. Mizoguchi, M. Musen, S.K. Pal and N. Zhong
Volume 224 Recently published in this series Vol. 223. R.G.F. Winkels (Ed.), Legal Knowledge and Information Systems – JURIX 2010: The Twenty-Third Annual Conference Vol. 222. T. Ågotnes (Ed.), STAIRS 2010 – Proceedings of the Fifth Starting AI Researchers’ Symposium Vol. 221. A.V. Samsonovich, K.R. Jóhannsdóttir, A. Chella and B. Goertzel (Eds.), Biologically Inspired Cognitive Architectures 2010 – Proceedings of the First Annual Meeting of the BICA Society Vol. 220. R. Alquézar, A. Moreno and J. Aguilar (Eds.), Artificial Intelligence Research and Development – Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence Vol. 219. I. Skadiņa and A. Vasiļjevs (Eds.), Human Language Technologies – The Baltic Perspective – Proceedings of the Fourth Conference Baltic HLT 2010 Vol. 218. C. Soares and R. Ghani (Eds.), Data Mining for Business Applications Vol. 217. H. Fujita (Ed.), New Trends in Software Methodologies, Tools and Techniques – Proceedings of the 9th SoMeT_10 Vol. 216. P. Baroni, F. Cerutti, M. Giacomin and G.R. Simari (Eds.), Computational Models of Argument – Proceedings of COMMA 2010 Vol. 215. H. Coelho, R. Studer and M. Wooldridge (Eds.), ECAI 2010 – 19th European Conference on Artificial Intelligence Vol. 214. I.-O. Stathopoulou and G.A. Tsihrintzis, Visual Affect Recognition
ISSN 0922-6389 (print) ISSN 1879-8314 (online)
Databases and Information Systems VI Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Edited by
Janis Barzdins University of Latvia, Latvia
and
Marite Kirikova Riga Technical University, Latvia
Amsterdam • Berlin • Tokyo • Washington, DC
© 2011 The authors and IOS Press. All rights reserved. No part of this book may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without prior written permission from the publisher. ISBN 978-1-60750-687-4 (print) ISBN 978-1-60750-688-1 (online) Library of Congress Control Number: 2010941319 Publisher IOS Press BV Nieuwe Hemweg 6B 1013 BG Amsterdam Netherlands fax: +31 20 687 0019 e-mail:
[email protected] Distributor in the USA and Canada IOS Press, Inc. 4502 Rachael Manor Drive Fairfax, VA 22032 USA fax: +1 703 323 3668 e-mail:
[email protected] LEGAL NOTICE The publisher is not responsible for the use which might be made of the following information. PRINTED IN THE NETHERLANDS
Databases and Information Systems VI J. Barzdins and M. Kirikova (Eds.) IOS Press, 2011 © 2011 The authors and IOS Press. All rights reserved.
v
Preface The Ninth International Baltic Conference on Databases and Information Systems (Baltic DB&IS’2010) took place on July 5–7 in Riga. This conference is continuing a series of successful biennial Baltic conferences on databases and information systems, which have been held in Trakai (1994), Tallin (1996, 2002, 2008), Riga (1998, 2004), and Vilnius (2000, 2006). During this period, Baltic DB&IS conferences has become real international forums of high scientific criteria for academics and practitioners in the field of databases and advanced information systems (IS) as well as in related areas, such as semantic technologies, ontologies, advanced software engineering (SE) technologies for IS development, and IS and security. Baltic DB&IS’2010 was organized by the Institute of Mathematics and Computer Science, University of Latvia, and the Faculty of Computing, University of Latvia, in co-operation with the Faculty of Computer Science and Information Technology, Riga Technical University. The Programme Committee of Baltic DB&IS’2010 consisted of 35 members from 14 countries. 59 papers from 12 countries were submitted for the conference including 13 papers from 5 countries for Doctoral Consortium. Each conference paper was reviewed by three referees, as a rule, from different countries. As a result, 28 papers were accepted and presented at the conference. 27 revised and extended best papers are included in this volume. The papers present original results concerning integration and security of IS, semantic technologies for IS, domain specific languages and tools for IS, SE with models and ontologies, model based data storages, and business IS. We express our warmest thanks to all authors who contributed to the conference. Our special thanks to the invited speakers Prof. Hele-Mai Haav, Prof. Jürgen Ebert and Prof. Michal Smialek for sharing their knowledge in advanced systems development methods. We are grateful to members of the Programme Committee and the additional referees for a careful reviewing of submissions. We would also like to thank all the organizing team and our sponsors, who have made this conference and publishing of this book possible. Our sincere gratitude to Conference Secretary Elina Kalnina for her immense technical work. Last, but not least, we thank all participants who really made the conference. October, 2010
Juris BORZOVS, Conference Chair Janis BARZDINS, Programme Co-Chair Marite KIRIKOVA, Programme Co-Chair
This page intentionally left blank
vii
Conference Committee Conference Chair Juris Borzovs, Faculty of Computing, University of Latvia Organising Co-Chairs Guntis Arnicans, Faculty of Computing, University of Latvia Inara Opmane, Institute of Mathematics and Computer Science, University of Latvia Conference Secretary Elina Kalnina, Institute of Mathematics and Computer Science, University of Latvia Co-ordinators Saulius Maskeliunas, Institute of Mathematics and Informatics, Lithuania Hele-Mai Haav, Institute of Cybernetics at Tallinn University of Technology, Estonia Ahto Kalja, Department of Computer Engineering of Tallinn University of Technology, Estonia Advisory Committee Janis Bubenko, Royal Institute of Technology, Sweden Arne Solvberg, Norwegian University of Science and Technology, Norway Programme Co-Chairs Janis Barzdins, University of Latvia Marite Kirikova, Riga Technical University Programme Committee Witold Abramowicz, Poland Irina Astrova, Estonia Guntis Barzdins, Latvia Janis Bicevskis, Latvia Juris Borzovs, Latvia Albertas Caplinskas, Lithuania Vytautas Cyras, Lithuania Dale Dzemydiene, Lithuania Johann Eder, Austria Hans-Dieter Ehrich, Germany Janis Grabis, Latvia
Hele-Mai Haav, Estonia Janis Grundspenkis, Latvia Mirjana Ivanovic, Serbia Leonid Kalinichenko, Russia Ahto Kalja, Estonia Audris Kalnins, Latvia Peep Küngas, Estonia Rein Kuusik, Estonia Marion Lepmets, Estonia Audrone Lupeikene, Lithuania Kalle Lyytinen, USA
viii
Hui Ma, New Zealand Rainer Manthey, Germany Saulius Maskeliunas, Lithuania Jorgen Fischer Nilsson, Denmark Boris Novikov, Russia Algirdas Pakstas, UK Jaan Penjam, Estonia Karlis Podnieks, Latvia Gunter Saake, Germany Kurt Sandkuhl, Sweden Michal Smialek, Poland Darja Smite, Sweden Janis Stirna, Sweden
Uldis Sukovskis, Latvia Kuldar Taveter, Estonia Jaak Tepandi, Estonia Benhard Thalheim, Germany Enn Tyugu, Estonia Olegas Vasilecas, Lithuania Tatjana Welzer, Slovenia Wita Woitkowski, USA Robert Wrembel, Poland Stanislaw Wrycza, Poland Naoki Yonezaki, Japan Jozef M. Zurada, USA
Additional Referees Erika Asnina, Latvia Edgars Celms, Latvia Karlis Cerans, Latvia Boris Cogan, UK Janis Eiduks, Latvia Kārlis Freivalds, Latvia Rūsiņš Freivalds, Latvia Ingolf Geist, Germany Martin Henkel, Sweden Kristi Kirikal, Estonia Christian Koncilia, Austria Arne Koschel, Germany Deniss Kumlander, Estonia Julius Köpke, Austria Doctoral Consortium Co-Chairs Guntis Barzdins, University of Latvia Leo Selavo, University of Latvia Local Organising Committee Vineta Arnicane Edgars Celms Dainis Dosbergs Girts Karnitis Lelde Lace Inga Medvedis Edgars Rencis Agris Sostaks Viesturs Zarins
Algirdas Laukaitis, Lithuania Egons Lavendelis, Latvia Azeem Lodhi, Germany Leonids Novickis, Latvia Martins Opmanis, Latvia Syed Saif ur Rahman, Germany Tarmo Robal, Estonia Eike Schallehn, Germany Inna Shvartsman, Estonia Renate Strazdina, Latvia Vladimir Tarasov, Sweden Sarah Tauscher, Germany Juris Viksna, Latvia
ix
Contents Preface Juris Borzovs, Janis Barzdins and Marite Kirikova Conference Committee
v vii
Invited Papers Ontology-Driven Development of Personalized Location Based Services Hele-Mai Haav, Aivi Kaljuvee, Martin Luts and Toivo Vajakas
3
Interoperability Services for Models and Ontologies Jürgen Ebert and Tobias Walter
19
Requirements-Level Programming for Rapid Software Evolution Michał Śmiałek
37
Tools, Techniques and Languages for Model Driven Development An Approach for Enacting Software Development Process: SPEM4MDA Vladimirs Nikulsins, Oksana Nikiforova and Jurijs Kornijenko
55
Bringing Domain Knowledge to Pattern Matching Agris Sostaks
66
A Kernel-Level UNDO/REDO Mechanism for the Transformation-Driven Architecture Sergejs Kozlovics, Edgars Rencis, Sergejs Rikacovs and Karlis Cerans On Views on Metamodels Edgars Rencis Associations as First-Class Elements Daniel Bildhauer
80 94 108
Semantic Technologies for Information Systems Multilevel Data Repository for Ontological and Meta-Modeling Mārtiņš Opmanis and Kārlis Čerāns
125
RDB2OWL: A RDB-to-RDF/OWL Mapping Specification Language Kārlis Čerāns and Guntars Būmans
139
Spatial Ontology in Factored Statistical Machine Translation Raivis Skadiņš
153
x
Domain Specific Languages and Tools Practitioners View on Domain Specific Business Process Modeling Janis Bicevskis, Jana Cerina-Berzina, Girts Karnitis, Lelde Lace, Inga Medvedis and Sergejs Nesterovs
169
The Design of Electronic Service Process Using YAWL and CPN Tools Peteris Stipravietis and Maris Ziema
183
Grammatical Aspects: Coping with Duplication and Tangling in Language Specifications Andrey Breslav
197
Information Systems Integration XML-Based Specification of the Project Management Domain and Its Application Solvita Bērziša
213
Combining Functional and Nonfunctional Attributes for Cost Driven Web Service Selection Mārtiņš Bonders, Jānis Grabis and Jānis Kampars
227
WSRF Usage for BPM and CEP Systems Integration Normunds Blumbergs and Maksims Kravcevs
240
Business Information Systems and Software Process Improvement Value and Viability Considerations in Information Systems Development Einar Polis
257
L.O.S.T Records: The Consequence of Inadequate Recordkeeping Strategies Erik A.M. Borglund and Karen Anderson
271
Evaluation of the Archetypes Based Development Gunnar Piho, Jaak Tepandi and Mart Roost
283
Comparison of Plan-Driven and Agile Project Management Approaches: Theoretical Bases for a Case Study in Estonian Software Industry Marion Lepmets and Margus Nael Test Points in Self-Testing Edgars Diebelis and Janis Bicevskis
296 309
Information Systems and Security Integrating IT Governance, Risk, and Compliance Management Processes Nicolas Racz, Edgar Weippl and Andreas Seufert Towards Model Transformation Between SecureUML and UMLsec for Role-Based Access Control Raimundas Matulevičius and Marlon Dumas
325
339
xi
Information Security Management Method for Households Ilze Murane
353
Information Systems and AI Technologies Random Spikes to Enhance Learning in Spiking Neural Networks Janis Zuters
369
Interactive Inductive Learning System Ilze Birzniece
380
Two Player Fair Division Problem with Uncertainty Andre Veski and Leo Vohandu
394
Visualization of Airport Procedures in Time Critical Decision Support Systems Kristina Lapin, Vytautas Čyras and Laura Savičienė
408
Parallel Bidirectional Dijkstra’s Shortest Path Algorithm Gintaras Vaira and Olga Kurasova
422
Subject Index
437
Author Index
439
This page intentionally left blank
Invited Papers
This page intentionally left blank
Databases and Information Systems VI J. Barzdins and M. Kirikova (Eds.) IOS Press, 2011 © 2011 The authors and IOS Press. All rights reserved. doi:10.3233/978-1-60750-688-1-3
3
! "#$%%& $' ' #" & (QVWLW)WHRI*\EHUQHWLFVDW7DOOLQQ8QLYHUVLW\RI7HF+QRORJ\(VWRQLD & ,HJLR/WG(VWRQLD (/(.2*RPSHWHQFH*HQWUHLQ(OHFWURQLFV(QIRDQG*RPP)QLFDWLRQ7HF+QRORJLHV (VWRQLD
$EVWUDFW- X ./ X& 'KX& ,K K& . & /X & 'K K X & X X X XX 'K 01 X & K X .H\ZRUGV- &
,QWURGXFWLRQ ./ 2!3 & X K XX 0 X K X &X X 4X K&'K X
5 'K X & X
, X X X 1 K K X X X. K K /K KX 'K 1 X 06 X X K X KX K , K K & . & / X & & K 0 K &X 1 & K & X 10 X X 0 5 $ & !
& XK, X&& ' $ 'K 1 7! !78!9' % :% 6K ;
4
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
&X K K 4X2730 X X X 27 < =3 K0 K KX K K01 X > X XK &XK X &
K 01>1 XKX X K 0 X 5 X KXK XX X 'K 5 . 1?@ ? &0@ ?@ /5 & 0K
'K X & K K X K 0 K K X 5 X XK AK , .A,/ A
& K &X K XX . 5 &/ XK X X 'K 0 K 0K 0 'K & X , X & 0 KK & K X B & K X X K 0 K K CX X A .CA/ K K X KX X & 5 X X 2D3 > K X X & 5B 'K K & & & X 0
K K X X K01 C X &X 0 : 1 K X & & & K X K 0 K K X 0 5 XKVHPDQWLF K 'K K X K 'K XX K 0 ! 0 X X 7 X K K X & , X& K
? @ &
A .B !/ A & K
K1 & 0K K & 1 &G & K
6
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
C
A & X- K
K K . B !/ K K 0 & G6 & K0 6 R 5 5 10 & K 5 5 ./ K : R & & & K
5 &
& : & ./ K K0 1: R : R : & C .C/ K 0 16 R C $ .C$/ & 4 . /: R C A .CA/ & 1 56A
- RDODQ!6FRSHRI2QWRORJLHV JRDO K 5 K ./ K 5 & K 'K VFRSH K K & & & K & 5 K
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
7
K & K 0 K 5 & 'K & & K > 2E3 0 K K & 5 K 'K & 0 K
K & 293 'K K0 KK "2QWRORJ#6WU)FW)UH 'K K & 0 K & 2I !J !! !73B5 2!73 &G K K 'K K K 01 K K 1 K K K1& K K KK & & 0 K 0 A & K 01 K 'K ./ 0 & K B 7 K K K
01 A .A A A A> AC *& /
./
. /
A
&
X-K
8
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
'K K 5 A 2! 0 K 6 K ' K & A & 1 2!D3'K K0 K4 K 1 2!8 !E3'K 5 9 2!E3 L K &0 5 %4 K K VHPDQWLF K K 5. /0 5 K K &5 K K 'K & K K 1 ? @ ?5 @ ? &0@ > K K K K 5 VHPDQWLF VSDWLDO UHODWLRQV+LSV 'K K K K 0 K K 0 5 B K 0 K . K / A 0K K &G 0 K
10
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
B VHPDQWLF K 0 6SDWLDO,HODWLRQ %K K K &6SDWLDO,HODWLRQ B 5 K ? @ ? &0@ K & & K )HDU *HWZHHQ K K K & K K K K . ? &0@/ K K KK K'K K K &0J ! & K VWUHQJW+2I6SDWLDO,HODWLRQV+LS &A B5 K)HDU & K ? @ & K 0 5 K KK 6 6SDWLDO5HODWLRQ DQGVWUHQJWK2I6SDWLDO5HODWLRQVKLSH[DFWO\/LWHUDO DQGLV1HDUH[DFWO\7\SHG)HDWXUH 0K LV)HDU &G K5 K &0 K K)HDU %#SH!)HDW)UH & VHPDQWLF K 0 K 5 1 VHPDQWLF K 1 ?& @ ? @ ? @ 'K K K K 5 & 5 &: VHPDQWLFV K 1
+-3 , -% .VHU'URILOLQJ K & K & & K &K KM & K KK&
K K 5 5 K& K 5 KK & 1 ' 5 K M K 5
'K5 0K K K& 'K & 5 &K F & & KM &K 'K 01 K0 5 & 27 < =3 & > 1 'KK 0K K < K6FF 0& GFF
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
11
& &G 'K 0
&M BF> K K 01 K K UHFR/)WLOLW#YDO)HK K KK KA &G K & K 0 KK K 0 & K % . / 01 'K 0 K % K K &K 5 &G K . K / 5 IHDW)UH'RS)ODULW#(HDV)UHK1 K 0 0 5 K K & & K K M & & 0K & K VWUHQJW+2I6SDWLDO,HODWLRQV+LS 1 K K 'K K K .& & / K 0 K K K K K 'K 1 1 0 01 K K & K 0 K B 5 K 1 K 0 & K K K 1 4 0 & 0 5 K&K 0 K K K 7 . B =/ K &K
X+-5K.KKKK /
& K )HDW)UH'UHIHUHQFHV K 5 & K K K & K 6SDWLDO,HODWLRQ'UHIHUHQFHV K5 & K
12
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
& K B5 A 0 &)HDW)UH'UHIHUHQFHV5 K 'RS)ODU0RWHOV2Q URVVLQJV & K 0 6 'HVFULEHG/RFDWLRQ RU+RWHO DQGIHDWXUH3RSXODULW\0HDVXUHVRPHGRXEOH>! @ RU&URVVLQJ0DLQ6WUHHW DQG&URVVLQJ6DPH6WUHHW 'K K K K K K K K K K JE & K 0K K & 'K 0 ")HDW)UH)LOWHULQJ1DVH!RQ.VHU'UHIHUHQFHV 'K10 & K & K K & > BNN2!93 2!I3 27J3 & K 10 & & K & & K1 27!3> !D 01 0 K &5 K > KK 2773 #27!@
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
13
'K KK0 K K &K'RS)ODU0RWHOV2Q URVVLQJV. =!/ K K K K'K &K 1 K K K VWUHQJW+2I6SDWLDO,HODWLRQV+LS >0 1 K K 4 & K K )HDU%R'RS)ODU0RWHOV2HU#)HDU%R'RS)ODU0RWHOV K K 5 'K K
& 4 'K A 5 ! = 0 K K K' K & 01 K K K K IHDW)UH'RS)ODULW#(HDV)UH 'K K K 0 1G K 'K & & K 5 K&K&K K 0KK
3-9E , G& GG E4 'K & &G K K 0 K K &G K K K BFO 27=3 'K & K & 15 H1 .CA/ & > K K 1 0 & & K & & 5> K 'K & & K K B K & 0 0 0 K & 0 & 0K K & & K H 0 K K (HW+R!RORJ#.VH!IRU2HU1DOL]DWLRQ > CA .CA/CA 0 KK K &5 % K K K 2D3K 0 B K &5 BK & 0 2D306 5 :
14
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
& 5 5 K > K % & 27D3 A $'C 2783 K K &5 & K K 4 05 & > & CA K K !LUHFWO# . 0 K / K 2D3 $ & K0 0K KK '0 & 0 & 0 K K 4 0 K 0 K CA K KK0 "$Q5&DPSOHRI2HU1DOL]DWLRQ 'K K5 &G0 KK K BK 06 « ILOHFWU\UHJLRBJHRRQWRRZO7KHDWUH! RZO&ODVVUGIDERXW 7KHDWUH! UGIVODEHO[POODQJ HQ!WKHDWUHUGIVODEHO! UGIVODEHO[POODQJ HW!WHDWHUUGIVODEHO! UGIVVXE&ODVV2IUGIUHVRXUFH 6LJKW! RZO&ODVV! UHJLRBJHRRQWR7KHDWUH UGIDERXW UHJLRBJHRRQWBJHQLG$! UGIVODEHO!9DQHPXLQHUGIVODEHO! UHJLRBJHRRQWRIHDWXUH3RSXODULW\0HDVXUH UGIGDWDW\SH [VGGRXEOH!UHJLRBJHRRQWRIHDWXUH3RSXO DULW\0HDVXUH! UHJLRBJHRRQWRLG UGIGDWDW\SH [VGLQW!UHJLRBJHRRQWRLG! UHJLRBJHRRQWR7KHDWUH! ILOHFWU\UHJLRBJHRRQWRBUHODWLRQVRZOQHDU! 1HDUUGIDERXW QHDU! UHJLRBJHRRQWRVWUHQJWK2I6SDWLDO5HODWLRQVKLS UGIGDWDW\SH [VGGRXEOH!UHJLRBJHRRQWRVWUHQJWK2I6SDW LDO5HODWLRQVKLS! LV1HDUUGIUHVRXUFH UHJLRBJHRRQWBJHQLG$! 1HDU! UGI5')! > U!IV/OD1HO K 5 K %+HDWUH 5 & 0 K 6%+HDWUH6 . % K/ 6%HDWHU6. % / .5& /K5 K JHQL!$ $7 & ? @
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
15
M 1 K K ?@ . =/ 'K ?@ K K & &K & 1 2E3 & K KK 2773 5 L./ BKA 0 0 K & K# 27 &1 &KK K & & 'K 0 K K & 2
16
H.-M. Haav et al. / Ontology-Driven Development of Personalized Location Based Services
& K 0 K 0 010K K K K K0 6 5 & K 2& $ %5 & 6 # . /%>1K7JJEC =9J7 !EJ !EI &.7JJE/ 2D3 % 6 C A & $ .7JJJ/ 283 A F FF FK 2E3 > K6FF0000 1 A6 '1 >6 '0 & 6 7 >& 'K K >& >& !JIH!!7 .7JJ