We warmly welcome you to the proceedings of the 16th IEEE Conference on Business Informatics (CBI 2014). The CBI series (www.cbi-series.org) started in 1998 as a workshop on Dependable and Real-Time E-Commerce Systems (DARE) and then continued as a Workshop on Advanced Issues of EC-ommerce and Web-based Information Systems (WECWI) that in 2003 evolved into a conference named IEEE Conference on e-Commerce and Enterprise Computing (CEC). In 2013, the CEC, in its turn, enlarged its scope and became the IEEE Conference on Business Informatics (CBI). Today, the CBI conference brings together different research domains related to Business Informatics and offers a venue to researchers and practitioners in this field to stimulate discussions, synergy and integration of their respective research results and activities. Business Informatics is a scientific discipline targeting information processes and related phenomena in their socio-economical business context, including companies, organisations, administrations and society in general. Business Informatics is a fertile ground for research with the potential for immense and tangible impact. As a field of study, it endeavours to take a systematic and analytic approach in aligning core concepts from management science, organisational science, economics information science, and informatics into an integrated engineering science. The field of Business Informatics involves a broad spectrum of more specific research domains that focus on important aspect of informatics in the context of organizations, ecosystems and society at large. These domains include: Business Model Innovation, Business Process Engineering, Empowering & Enabling Technologies, Enterprise Architecture, Enterprise Engineering, Enterprise Modelling, Enterprise & Business Transformation, Method Engineering, Service Innovation & Engineering, Social & Frontier Technologies, Business Data Engineering and Analytics, Model-driven Engineering, Industrial Services and Decision Support Systems. The CBI conferences use a format that enables in depth discussions amongst researchers in their respective domains during the conference. In addition, the best contributions and fruitful discussions among the different domains are channelled towards a book series dedicated to Advances in Business Informatics. This year, CBI is organized from July 14-17 in Geneva, Switzerland, and continues the already well established CBI tradition. The conference received 102 submissions, 28 of which have been selected for the main conference and 9 recommended to the collocated workshops. Each submission was reviewed by three Program Committee members and received a recommendation from the corresponding Domain Coordinator. This two level review process allowed us to select the most relevant and highest quality papers and to offer the audience an exciting program including 11 technical sessions. In addition to the paper presentations, the program of CBI 2014 features seven keynote presentations. We would like to thank Ron Tolido for his industrial keynote on The Black Swans Of Digital Transformation. We are also grateful to the presenters of the domain-specific keynotes: Jean Bezivin for the presentation on “Towards Cross-Disciplinary Practices: Software Modeling for Enterprise, Business and other Domain Engineering Fields”, Ralf Gitzel for the presentation on “Industrial Service as a Research Discipline”, Chris Stary for the presentation on “S-BPM (Subject-oriented Business Process Management) Revisited”, Henk Sol for the presentation on “Enhancing Issues that Matter: Providing COLLAGEN for Ennovations”, K.-J. Lin for his presentation on “Informatics Driven Business: Exploring New Frontiers Created by IT” and Jolita Ralyté for her presentation on “Fundamentals and Challenges of Situational Method Engineering”. One of the aims of the CBI series is to bring the different domains within the Business Informatics scope together. This year, four CBI domain coordinators took the lead in providing an integrated perspective across domains. We would therefore also like to thank Stephan Aier, Antonia Albani, Eng Chew, Henderik A. Proper, Jorge Sanz, José Tribolet and Robert Winter for their (joint) domain keynote on “Engineering for Value Co- Creation: A Research Roadmap”. For the first time, with the support of CUSO, CBI 2014 hosts a Summer School on Business Informatics, which aims at providing doctoral students with lectures broadening the horizon towards selected domains identified as cornerstone of the IEEE Conference on Business Informatics. The programme of this school features lectures by prominent professors: Antonia Albani (HSG, Switzerland), Eric Dubois (CRP Henri Tudor, Luxembourg), Ulrich Frank (University of Duisburg- Essen, Germany), Jan Mendling (Vienna University of Economics and Business, Austria) and Alain Wegmann (EPFL, Switzerland). We would like to thank Birgit Hofreiter, Stephane Marchand-Maillet and Jaques Savoy for their successful efforts on enriching CBI with a summer school. The program of CBI is further complemented by six co-located workshops all of them aiming to attract participants from both industry and academia. The 8th TEE Workshop: Transformation & Engineering of Enterprises promotes the use of methods and techniques from business process management, business engineering, organizational change management, enterprise architecture, enterprise modelling, and information systems engineering, and offers a forum to present related industrial practices. The workshop on Lowering Adoption Barriers to Enterprise Modeling (LABEM) aims to raise the awareness on human dimensions immanent to enterprise modelling, and to underline the need for their better support by modelling technologies. The workshop on Cross-organizational and Cross-company BPM (XOC-BPM) claims that coordinating stakeholders belonging to different organizations needs corresponding methods and tools. Therefore, the workshop explores multiple approaches allowing to improve participation, collaboration and social interaction for managing cross-organizational and cross-company business processes. The workshop on Capability-oriented Business Informatics (CoBI) investigates the use of the notion of capability in the context of business-IT alignment, and in particular, in enterprise modelling and architectures as a foundation for sustainable Information System planning and management in the presence of varying social and business contexts. The Workshop on Web 3.0 and Smart Commerce (W3SC) is about business transformation according to Web 3.0 and its definitions, about new types of services and innovative business models stemming from the high impact of Web 3.0 and Smart Commerce as the next step in globalization. Finally, the Workshop on Enterprise Engineering Theories and Methods (WEETM) seeks to develop a foundation of sound theories over which methodologies can be built and used to effectively engineer and manage enterprises. We thank Sybren de Kinderen for taking care of the workshops at CBI 2014 and we appreciate all the efforts of the workshop chairs: Wolfgang Molnar and Henderik A. Proper for TEE, Jean-Sébastien Sottet and Marija Bjeković for LABEM, Albert Fleischmann, Lutz Heuser, Andreas Oberweis, Werner Schmidt, Frank Schönthaler, Christian Stary, and Gottfried Vossen for XOC-BPM, Pericles Loucopoulos, Oscar Pastor and Jelena Zdravkovic for CoBI, Svetlana V. Maltseva and Mikhail M. Komarov for W3SC, and Artur Caetano and David Aveiro for WEETM. The organization and successful running of CBI 2014 would not be possible without the valuable help and energy of a large number of highly motivated people. We would like to express our gratitude to the Program Committee members, the Domain Coordinators and additional reviewers for their valuable work in selecting the papers for the scientific program of the conference; to the authors of the papers for submitting their work to CBI 2014; and to the Session Chairs for making this conference going smoothly. For the proceedings, we are grateful to our Publication Chair Birgit Hofreiter and the production manager Lisa O’Conner from IEEE. Our special thanks goes to all members of the local Organizing Committee at the University of Geneva for their hospitality and the organization of scientific and social events. Finally, we thank all participants both from academia and industry and we hope that you enjoy IEEE CBI 2014 in Geneva and that you find these proceedings a valuable source of information on business informatics. Henderik A. Proper, CRP Henri Tudor, Luxembourg Jolita Ralyté, University of Geneva, Switzerland Program Co-Chairs Stéphane Marchand-Maillet, University of Geneva, Switzerland, K.-J. Lin, University of California, Irvine, USA General Co-Chairs
Artificial intelligence and machine learning helps to improve the quality of customer service and change the methods of companies’ activities. For this reason, enterprises should consider integrating these technologies into digital transformation plans to remain competitive. Low-code machine learning platforms allow companies and business professionals with minimal coding experience to create applications and fill in the gaps of the personnel in their organization. Automated machine leaning (AutoML) technology represents the next step in the evolution of machine learning, providing non-technical companies with the ability to create machine learning applications quickly and cheaply
The volume contains proceedings of the XIII International symposium on problems of redundancy in information and control systems.
Reviews problems of developing the ontological approach-based incident management system (IMS) of decision support system for resolving incidents in information systems. It supports decision-making in variety of subject domains, for example, while training the service staff and system administrators, who are responsible for operation and management of complex information systems. In this case, the incident management system is based on the ontological approach and semiotic modeling. The semiotic model of subject domain under consideration is presented in the form of a graph, where graph vertices are interpreted as objects, and graph edges are interpreted as relations between them. The classification principles used in incident recording are proposed.
The highest rates of use of Internet technologies and, first of all, the Internet of things, in various fields of human activity, impose new requirements to ensure information security of objects of risk. Cyber attacks can cause huge material and financial damage. The complexity of countering cyber attacks is primarily due to their high technology. Therefore, only the use of intelligent means and systems of counteraction can be a real protection against malicious intrusion.
The book prepared for the purposes of The 2nd World Congress on Logic and Religion, organised by the Institute of Philosophy of the University of Warsaw.
The book contains the final version of the abstracts submitted by majority of speakers.
The volume consists of scientific and research papers of the Fifth International Con- ference “Actual Problems of System and Software Engineering” (APSSE-2017), which took place with the support of the Russian Foundation for Basic Research (RFBR) (Project No17-07-20565). The Conference was held at the National Research University “Higher School of Economics” from November 14 to November 16, 2017 in Moscow, Russia. The conference was devoted to the analysis of the status, contemporary trends, re- search issues and practical results obtained by national and foreign scientists and ex- perts in the system and software engineering area, as well as information and analyti- cal systems development area using Big Data technologies. The target audience of the conference came to be the experts, students and post- graduates working in the area of ordering, designing, development, implementation, operation, and maintenance of information and analytical systems for various applica- tions and their software, also working on custom software development. Plenary papers were delivered by the leading domestic and foreign specialists and were aimed at developing the views on the most important and fundamental aspects of the information technology development. The Conference hosted 13 invited reports. There were submitted 77 articles, 51 from which were selected for publication. All the submitted articles were reviewed by the members of the Program Committee as well as by the independent reviewers.
The 24th European Conference on Advances in Databases and Information Systems (ADBIS 2020) was set to be held in Lyon, France, during August 25–28, 2020, in conjunction with the 24th International Conference on Theory and Practice of Digital Libraries (TPDL 2020) and the 16th EDA days on Business Intelligence & Big Data (EDA 2020). However, because of the worldwide COVID-19 crisis, ADBIS, TPDL, and EDA had to take place online during August 25–27, 2020. Yet, the three con- ferences joined their forces to propose common keynotes, workshops, and a Doctoral Consortium.
Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of “modes of truth” with the two most common modes being “necessarily true” and “possibly true”. Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the 2016 conference on Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic. As indicated above, there are new developments in using modal logic to reason about obligations, about programs, about time, about combinations of modal logics and even about negation itself.
This concise book provides a survival toolkit for efficient, large-scale software development. Discussing a multi-contextual research framework that aims to harness human-related factors in order to improve flexibility, it includes a carefully selected blend of models, methods, practices, and case studies. To investigate mission-critical communication aspects in system engineering, it also examines diverse, i.e. cross-cultural and multinational, environments.
This book helps students better organize their knowledge bases, and presents conceptual frameworks, handy practices and case-based examples of agile development in diverse environments. Together with the authors’ previous books, "Crisis Management for Software Development and Knowledge Transfer" (2016) and "Managing Software Crisis: A Smart Way to Enterprise Agility" (2018), it constitutes a comprehensive reference resource that adds value to this book.
This book constitutes the proceedings of the 8th International Conference on Analysis of Images, Social Networks and Texts, AIST 2019, held in Kazan, Russia, in July 2019.
The 24 full papers and 10 short papers were carefully reviewed and selected from 134 submissions (of which 21 papers were rejected without being reviewed). The papers are organized in topical sections on general topics of data analysis; natural language processing; social network analysis; analysis of images and video; optimization problems on graphs and network structures; analysis of dynamic behaviour through event data.
This book constitutes the proceedings of the Fourth International Conference on Analysis of Images, Social Networks and Texts, AIST 2015, held in Yekaterinburg, Russia, in April 2015. The 24 full and 8 short papers were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on analysis of images and videos; pattern recognition and machine learning; social network analysis; text mining and natural language processing.
This book constitutes the proceedings of the 5th International Conference on Analysis of Images, Social Networks and Texts, AIST 2016, held in Yekaterinburg, Russia, in April 2016. The 23 full papers, 7 short papers, and 3 industrial papers were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on machine learning and data analysis; social networks; natural language processing; analysis of images and video.
This volume contains the refereed proceedings of the 6th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2017)1. The previous conferences during 2012–2016 attracted a significant number of students, researchers, academics, and engineers working on interdisciplinary data analysis of images, texts, and social networks. The broad scope of AIST made it an event where researchers from different domains, such as image and text processing, exploiting various data analysis techniques, can meet and exchange ideas. We strongly believe that this may lead to cross fertilisation of ideas between researchers relying on modern data analysis machinery. Therefore, AIST brought together all kinds of applications of data mining and machine learning techniques. The conference allowed specialists from different fields to meet each other, present their work, and discuss both theoretical and practical aspects of their data analysis problems. Another important aim of the conference was to stimulate scientists and people from industry to benefit from the knowledge exchange and identify possible grounds for fruitful collaboration. The conference was held during July 27–29, 2017. The conference was organised in Moscow, the capital of Russia, on the campus of Moscow Polytechnic University. This year, the key topics of AIST were grouped into six tracks: 1. General topics of data analysis chaired by Sergei Kuznetsov (Higher School of Economics, Russia) and Amedeo Napoli (LORIA, France) 2. Natural language processing chaired by Natalia Loukachevitch (Lomonosov Moscow State University, Russia) and Alexander Panchenko (University of Hamburg, Germany) 3. Social network analysis chaired by Stanley Wasserman (Indiana University, USA) 4. Analysis of images and video chaired by Victor Lempitsky (Skolkovo Institute of Science and Technology, Russia) and Andrey Savchenko (Higher School of Economics, Russia) 5. Optimisation problems on graphs and network structures chaired by Panos Pardalos (University of Florida, USA) and Michael Khachay (IMM UB RAS and Ural Federal University, Russia) 6. Analysis of dynamic behaviour through event data chaired by Wil van der Aalst (Eindhoven University of Technology, The Netherlands) and Irina Lomazova (Higher School of Economics, Russia) One of the novelties this year was the introduction of a new specialised track on process mining (Track 6).
This book constitutes the proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts, AIST 2018, held in Moscow, Russia, in July 2018.
The 29 full papers were carefully reviewed and selected from 107 submissions (of which 26 papers were rejected without being reviewed). The papers are organized in topical sections on natural language processing; analysis of images and video; general topics of data analysis; analysis of dynamic behavior through event data; optimization problems on graphs and network structures; and innovative systems.
This book constitutes the post-conference proceedings of the 8th International Conference on Analysis of Images, Social Networks and Texts, AIST 2019, held in Kazan, Russia, in July 2019.
The 27 full and 8 short papers were carefully reviewed and selected from 134 submissions (of which 21 papers were automatically rejected without being reviewed). The papers are organized in topical sections on general topics of data analysis; natural language processing; social network analysis; analysis of images and video; optimization problems on graphs and network structures; and analysis of dynamic behavior through event data.