Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers PDF
Preview Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Grygoriy Zholtkevych (Eds.) Communications in Computer and Information Science 412 Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013 Kherson, Ukraine, June 2013 Revised Selected Papers 123 Communications in Computer and Information Science 412 EditorialBoard SimoneDinizJunqueiraBarbosa PontificalCatholicUniversityofRiodeJaneiro(PUC-Rio), RiodeJaneiro,Brazil PhoebeChen LaTrobeUniversity,Melbourne,Australia AlfredoCuzzocrea ICAR-CNRandUniversityofCalabria,Italy XiaoyongDu RenminUniversityofChina,Beijing,China JoaquimFilipe PolytechnicInstituteofSetúbal,Portugal OrhunKara TÜBI˙TAKBI˙LGEMandMiddleEastTechnicalUniversity,Turkey IgorKotenko St.PetersburgInstituteforInformaticsandAutomation oftheRussianAcademyofSciences,Russia KrishnaM.Sivalingam IndianInstituteofTechnologyMadras,India DominikS´le˛zak UniversityofWarsawandInfobright,Poland TakashiWashio OsakaUniversity,Japan XiaokangYang ShanghaiJiaoTongUniversity,China Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Grygoriy Zholtkevych (Eds.) Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013 Kherson, Ukraine, June 19-22, 2013 Revised Selected Papers 1 3 VolumeEditors VadimErmolayev ZaporozhyeNationalUniversity,Ukraine E-mail:[email protected] HeinrichC.Mayr Alpen-Adria-UniversitätKlagenfurt,Austria E-mail:[email protected] MykolaNikitchenko TarasShevchenkoNationalUniversityofKyiv,Ukraine E-mail:[email protected] AleksanderSpivakovsky KhersonStateUniversity,Ukraine E-mail:[email protected] GrygoriyZholtkevych V.N.KarazinKharkivNationalUniversity,Ukraine E-mail:[email protected] ISSN1865-0929 e-ISSN1865-0937 ISBN978-3-319-03997-8 e-ISBN978-3-319-03998-5 DOI10.1007/978-3-319-03998-5 SpringerChamHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013955355 CRSubjectClassification(1998):K.3,D.2,H.4,I.2,H.3,F.3,D.3,C.2 ©SpringerInternationalPublishingSwitzerland2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface It is our pleasure to present the post-proceedings of ICTERI 2013, the 9th InternationalConferenceonInformationandCommunicationTechnologies(ICT) in Education, Research, and Industrial Applications: Integration, Harmoniza- tion, and Knowledge Transfer. The conference was held at Kherson, Ukraine during June 19-22, 2013. This volume is composed of the substantially revised andextendedversionsofthe best ICTERI2013papers. The selectionwasmade basedon the quality, anticipatedreaderinterest, and coverageofthe conference scope. ICTERI as a conference series is concerned with interrelated topics that are vibrant for both the academic and industrial communities: • ICT infrastructures, integration, and interoperability • Machine intelligence, knowledge engineering (KE), and knowledge manage- ment (KM) for ICT • Model-based software system development • Methodological and didactical aspects of teaching ICT and using ICT in education • Cooperation between academia and industry in ICT This book begins with the three invited contributions presenting the substance of ICTERI 2013 invited talks given by Wolf-Ekkehard Matzke, Aleksander Letichevsky, and Gary L. Pratt. The rest of the volume is structured in four topical parts: • Systems, Infrastructures, and Integration • Semantics, Knowledge Engineering, and Management • ICT in Teaching Methodologies and Didactics • Model-Driven Software Development and Verification Partoneofthevolumeisdedicatedtosoftwaresystems,infrastructuresdevelop- ment, andintegration.It begins withapaper reportingonthe developmentand deployment of an integrated framework for IT service management at a univer- sity.Thesecondpaperpresentsanoveltechnologyfordevelopingandoptimizing parallelprograms.Thethirdpaperprovidesarigoroustheoreticalframeworkfor the asymptotical assessmentofthe informationin the consecutive seriesof tests of quantum information systems. The final paper in this part is focused on as- sessing the availability of computer systems using the formalism of stiff Markov chains. Thesecondpartofthevolumecontainspapersonsemantics,knowledgeengi- neeringandmanagement.Itopenswithapaperelaboratingmetricsforontology fitness in the OntoElect methodology. The second paper deals with the evalu- ation of the ontology instance migration methodology applied to the industrial VI Preface sizeontologiesintheconstructiondomain.Thethirdpaperpresentsthesemantic models of the relationships between different clocks under constraints. Part three of the volume focuses on using ICT in teaching and learning and theireffectsondidactics.Thefirstpapersharestheobservationsandexperiences ofhowcomputersciencestudentsuseversioncontrolsystemsintheircoursework projects. The second paper is concerned with the problem of the generation gap as an obstacle for teaching ICT and offers a way to bridge this gap. The third paper proposes a holistic approachto developing the didactics in the ICT curriculaby includingstudents, tutors,andanICT-basedteachingenvironment in the framework. The fourth paper focuses on the use of the emerging ICT for training educators. The fourth part of the volume presents the advancements in model-driven software development and verification. It begins with a paper presenting the way to improve the efficiency of a synchronized product with infinite transition systems. The second paper formally investigates and proves the existence of total input-output pairs of abstract time systems. The third paper elaborates the aspect of specializations in symbolic verification. Finally, the fourth paper extends the Floyd–Hoare logic for partial pre-conditions and post-conditions. On the whole, ICTERI 2013 had attracted 125 submissions out of which 50 were selected for presentation at the conference by the Program Committee. In the second selection phase the Steering Committee chose 24 papers as the candidates to be revised and extended for the post-proceedings volume. Out of these 24 extended submissions we finally accepted the 18 most interesting papers. This resulted in an acceptance rate of 14%. Thisvolumewouldnothavematerializedwithoutthesupportofmanypeople. First,wewouldliketothankthemembersofourboardofreviewersforproviding timely and thorough assessments, and also for being very cooperative in doing additionalreviewworkatshortnotice.Weareverygratefultoalltheauthorsfor theircontinuouscommitmentandintensivework.Furthermore,wewouldliketo thank all the people who contributed to the success of ICTERI 2013. Without their effort there would have been no substance for this volume. Finally, we would like to acknowledge the proactive support of our editorial assistant Olga Tatarintseva. Otober 2013 Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Grygoriy Zholtkevych ICTERI 2013 Conference Organization General Chair Aleksander Spivakovsky Kherson State University, Ukraine Steering Committee Vadim Ermolayev Zaporozhye National University, Ukraine Heinrich C. Mayr Alpen-Adria-Universita¨t Klagenfurt, Austria Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Aleksander Spivakovsky Kherson State University, Ukraine Mikhail Zavileysky DataArt, Russian Federation Grygoriy Zholtkevych V.N. Karazin Kharkiv National University, Ukraine Program Co-chairs Vadim Ermolayev Zaporozhye National University, Ukraine Heinrich C. Mayr Alpen-Adria-Universita¨t Klagenfurt, Austria Workshops Chair Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Tutorials Chair Grygoriy Zholtkevych V.N. Karazin Kharkiv National University, Ukraine IT Talks Co-chairs Aleksander Spivakovsky Kherson State University, Ukraine Mikhail Zavileysky DataArt, Russian Federation Publicity Chair Nataliya Kushnir Kherson State University, Ukraine Technical Assistant to Volume Editors Olga Tatarintseva Zaporozhye National University, Ukraine VIII ICTERI 2013 Conference Organization Program Committee Rajendra Akerkar Western Norway Research Institute, Norway Eugene Alferov Kherson State University, Ukraine Costin Badica University of Craiova, Romania Tobias Buerger PAYBACK, Germany Andrey Bulat Kherson State University, Ukraine David Camacho Universidad Autonoma de Madrid, Spain Michael Cochez University of Jyva¨skyla¨, Finland Maxim Davidovsky Zaporozhye National University, Ukraine Anatoliy Doroshenko NationalTechnicalUniversityofUkraine“Kyiv Polytechnic Institute”, Ukraine Vadim Ermolayev Zaporozhye National University, Ukraine David Esteban Techforce, Spain Lyudmila Gavrilova Slovyansk State Pedagogical University, Ukraine Vladimir Gorodetsky St. Petersburg Institute for Informatics and Automation of The Russian Academy of Science, Russian Federation Marko Grobelnik Jozef Stefan Institute, Slovenia Brian Hainey Glasgow Caledonian University, UK Sungkook Han Wonkwang University, South Korea Mitja Jermol Jozef Stefan Institute, Slovenia Jason Jung Yeungnam University, South Korea Natalya Keberle Zaporozhye National University, Ukraine Nick Kings Connected Shopping, UK Christian Kop Alpen-Adria-Universita¨t Klagenfurt, Austria Hennadiy Kravtsov Kherson State University, Ukraine Nataliya Kushnir Kherson State University, Ukraine Fr´ed´eric Mallet Universit´e de Nice-Sophia Antipolis, France Mihhail Matskin Royal Institute of Technology, Sweden Heinrich C. Mayr Alpen-Adria-Universita¨t Klagenfurt, Austria Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Andriy Nikolov Knowledge Media Institute, The Open University, UK Inna Novalija Jozef Stefan Institute, Slovenia Toma´s Pariente Lobo ATOS Origin, Spain Vladimir Peschanenko Kherson State University, Ukraine Carlos Ruiz Playence, Spain Abdel-Badeeh Salem Ain Shams University, Cairo, Egypt Wolfgang Schreiner Research Institute for Symbolic Computation (RISC),JohannesKeplerUniversity,Austria Vladimir A. Shekhovtsov Alpen-Adria-Universita¨t Klagenfurt, Austria ICTERI 2013 Conference Organization IX Mikhail Simonov Istituto Superiore Mario Boella, Italy Marcus Spies Ludwig-Maximilians-Universit¨atMu¨nchen, Germany Aleksander Spivakovsky Kherson State University, Ukraine Martin Strecker IRIT, Universite Paul Sabatier, France Olga Tatarintseva Zaporozhye National University, Ukraine Vagan Terziyan University of Jyva¨skyla¨, Finland Nikolay Tkachuk National Technical University “Kharkiv Polytechnic Institute”, Ukraine Leo Van Moergestel Utrecht University of Applied Sciences, The Netherlands Maryna Vladymyrova V.N. Karazin Kharkov National University, Ukraine Paul Warren Knowledge Media Institute, the Open University, UK Iryna Zaretska V.N. Karazin Kharkov National University, Ukraine Mikhail Zavileysky DataArt Solutions Inc., Russian Federation Grygoriy Zholtkevych V.N. Karazin Kharkov National University, Ukraine Additional Reviewers Fahdi Al Machot Alpen-Adria-Universita¨t Klagenfurt, Austria Antonio Gonzalez-Pardo Universidad Autonoma de Madrid, Spain Alexey Vekschin National Technical University “Kharkiv Polytechnic Institute”, Ukraine Post-Proceedings Board of Reviewers Costin Badica University of Craiova, Romania Anatoliy Doroshenko NationalTechnicalUniversityofUkraine“Kyiv Polytechnic Institute”, Ukraine Vadim Ermolayev Zaporozhye National University, Ukraine David Esteban Techforce, Spain Heinrich C. Mayr Alpen-Adria-Universita¨t Klagenfurt, Austria Mykola Nikitchenko Taras Shevchenko National University of Kyiv, Ukraine Andriy Nikolov Knowledge Media Institute, The Open University, UK Aleksander Spivakovsky Kherson State University, Ukraine Martin Strecker IRIT, Universit´e Paul Sabatier, France Olga Tatarintseva Zaporozhye National University, Ukraine X ICTERI 2013 Conference Organization Vagan Terziyan University of Jyva¨skyla¨, Finland Nikolay Tkachuk National Technical University “Kharkiv Polytechnic Institute”, Ukraine Leo Van Moergestel Utrecht University of Applied Sciences, The Netherlands Paul Warren Knowledge Media Institute, the Open University, UK Grygoriy Zholtkevych V.N. Karazin Kharkov National University, Ukraine Additional Reviewers for Post-Proceedings Hennadiy Kravtsov Kherson State University, Ukraine ICTERI 2013 Sponsors Kherson State University www.ksu.ks.ua DataArt www.dataart.com
The list of books you might like
