The Enterprise Information Systems to Realize and Understand More About Our World
Victor Chang, Aston Business School, Aston University, United Kingdom
High-level Verification and Validation of Software Supporting Business Processes
Hermann Kaindl, TU Wien, Univ. for Continuing Education Krems, Vienna Univ. of Economics and Business, Austria
Model Me If You Can - Challenges and Benefits of Individual and Mass Data Analysis for Enterprises
Marco Brambilla, Politecnico di Milano, Italy
Five Challenges to the Web Information Systems Field
Christoph Rosenkranz, University of Cologne, Germany
The Enterprise Information Systems to Realize and Understand More About Our World
Brief Bio
Prof. Victor Chang is a Professor of Business Analytics at Operations and Information Management, Aston Business School, Aston University, UK, since mid-May 2022. He was previously a Full Professor of Data Science and Information Systems at the School of Computing, Engineering and Digital Technologies, Teesside University, UK, since September 2019. He was previously a Senior Associate Professor, Director of Ph.D. and Director of MRes at International Business School Suzhou, Xi’an Jiaotong-Liverpool University, China. He was also a very active contributing key member at the Research Institute of Big Data Analytics, XJTLU. Before that, he worked as a Senior Lecturer at Leeds Beckett University, UK. Within 4 years, Prof Chang completed Ph.D. (CS, Southampton) and PGCe rt (Higher Education, Fellow, Greenwich) while working for several projects at the same time. Before becoming an academic, he has achieved 97% on average in 27 IT certifications. He won 2001 full Scholarship, a European Award on Cloud Migration in 2011, IEEE Outstanding Service Award in 2015, best papers in 2012, 2015 and 2018, the 2016 European award: Best Project in Research, 2016-2018 SEID Excellent Scholar, Suzhou, China, Outstanding Young Scientist award in 2017, 2017 special award on Data Science, 2017-2022 INSTICC Service Awards, Talent Award Suzhou 2019, Top 2% Scientist 2019-2022, Highly Cited Researcher 2021, Outstanding Reviewer of several Elsevier journals 2018-2019 and Outstanding Editor of FGCS (stepped down). He is the Associate Editor of IEEE TII, JGIM, Expert Systems and IJBSR and an Editor of Information Fusion, Scientific Report and IDD journals. He is the Editor-in-Chief of IJOCI and OJBD journals, and holds important or lead guest editor roles in several prestigious journals. Prof Chang was involved in different projects worth more than £14 million in Europe and Asia. He has published 3 books as sole author and the editor of 2 books on Cloud Computing and related technologies. He gave 48 keynotes at international conferences. He is widely regarded as one of the most active and influential young scientists and experts in IoT/Data Science/Cloud/Security/AI/IS, as he has the experience to develop 10 different services for multiple disciplines. He is the founding conference chair for IoTBDS, COMPLEXIS and FEMIB to build up and foster active research communities globally with positive impacts.
Abstract
This keynote will include describing the latest development for data science-focused enterprise information systems (EIS). The first service includes weather computing, analysis and visualization. Technologies and techniques to forecast temperatures and simulate with two major cases will be presented. Case A is focused on forecasting temperatures based on the historical data of Sydney, Singapore and London to compare the past and forecast temperatures. Case B is the use of data visualization to demonstrate the temperature distributions in the United States, before, during and after the time of experiencing polar vortex, and United Kingdom during and after the flood and latest weather computational outputs for several European countries and China. Architecture, methods an experiments were undertaken and would be discussed. The second service is focused on data science for economics, including the population and capital gains in a few selected countries. The methods, analysis and impacts will be discussed in details.
There are additional two supporting cases for modern EIS. The first supporting case is smart cities, which has used big data processing techniques, results with discussion and case studies in several cities will be presented. The second supporting service is focused on natural disasters to help us understand their development and learn how to counter react. These modern EIS development can make positive impacts and improvements to our day-to-day activities and wisdom for our lives.
High-level Verification and Validation of Software Supporting Business Processes
Hermann Kaindl
TU Wien, Univ. for Continuing Education Krems, Vienna Univ. of Economics and Business
Austria
Brief Bio
Hermann Kaindl joined the Institute of Computer Technology at TU Wien in early 2003 as a full professor, where he served in this position until September 2022, for several years as the department head and the head of the organizational unit entitled “Software-intensive Systems”. He served for several years as a member of the Senate at TU Wien, from October 2019 until September 2022 as a Vice Chairman. After his retirement, Hermann Kaindl is still working on (funded) research projects at three different universities. Prior to moving to academia, he was a senior consultant with the division of program and systems engineering at Siemens AG Austria. There he has gained more than 24 years of industrial experience in requirements and software engineering, human-computer interaction and artificial intelligence. He is a Senior Member of the IEEE and a Distinguished Scientist member of the ACM.
Abstract
High-level Verification and Validation (V&V) of software supporting business processes can be done on the level of a Business Process Model (BPM), since V&V of BPMs indirectly includes an important part of V&V of the software implementing such BPMs (e.g., through service composition). If the BPM is built ‘right’ according to given properties, the software implementing it ‘right’ also satisfies these properties, and if the BPM specifies the ‘right’ process, it is also the ‘right’ software. Semantic specification of services based on formal logic can be used for automated verification of (software) service composition. In order to make such verifications consistent with validations of service compositions in the context of business processes, more and more knowledge needs to be included in the related specifications. Independently of the formalism used, a key challenge is to consistently formalize the process and its properties. While formal verification of business process models (BPMs) can be done through model checking (also known as property checking), formalizing corresponding properties having the process model available may negatively influence the formulation of properties to be checked. In addition, properties should be checkable for several processes. So, we address the problem of formalizing properties without knowing the process model. The deeper issue is that task- and artefact-centric BPMs are mostly used in isolation.
In this context, we developed a new and systematic approach for connecting a task-centric BPM (in BPMN) with a model of an artefact-centric object life cycle through semantic task specification. This allows the formulation of properties for model checking referring to additional models of object life cycles, which together can represent certain business rules. Hence, a combination of conventional business process models (given, e.g., in BPMN), models of business object life cycles, and formalized business rules can be used for verification through model checking. So, we present a seamless approach for formal and automated verification of BPMs using model checking, and a comprehensive approach to V&V of (software) service design.
Model Me If You Can - Challenges and Benefits of Individual and Mass Data Analysis for Enterprises
Marco Brambilla
Politecnico di Milano
Italy
http://dbgroup.como.polimi.it/brambilla/
Brief Bio
Marco Brambilla is associate professor at Politecnico di Milano. He is active in research and innovation, both at industrial and academic level. His research interests include data science, software modeling languages and design patterns, crowdsourcing, social media monitoring, and big data analysis. He has been visiting researcher at CISCO, San Josè, and University of California, San Diego. He has been visiting professor at Dauphine University, Paris.
He is founder of the startup Fluxedo, focusing on social media analysis and Social engagement, and of the company WebRatio, devoted to software modeling tools for Web, Mobile and Business Process based software applications. He is author of various international books and research articles in journals and conferences, with over 200 papers. He was awarded various best paper prizes and gave keynotes and speeches at many conferences and organisations. He is the main author of the OMG standard IFML. He participated in several European and international research projects. He has been reviewer of FP7 projects and evaluator of EU FP7 proposals, as well as of national and local government funding programmes throughout Europe. He has been PC chair of ICWE 2008, Berlin. He is PC member of several conferences and workshops, he organized several workshops and conference tracks so far, and he has been reviewer for many scientific journals. He is associate editor of SIGMOD Records.
Abstract
The current hype on big data, machine learning, and artificial intelligence is starting to affect even the most traditional enterprises and sectors.
In this context, we will explore the potential of large scale data collection and analysis in the area of customer/citizen monitoring, spanning techniques such as crowdsourcing, data fusion, descriptive and predictive analysis, for reconstructing people behaviour and profiling.
The keynote will also consider the perspective of the customer within the context of modern media, where sharing and interactions through digital channels apparently becomes compulsory. Citizens become ready to give up a lot of their information for (marginal?) benefits coming from technology providers that in exchange grab their data.
Through a set of real-world case studies and examples, we will explore techniques, benefits and risks that companies face in approaching user data analysis.
Five Challenges to the Web Information Systems Field
Christoph Rosenkranz
University of Cologne
Germany
Brief Bio
Christoph Rosenkranz is a Professor of Integrated Information Systems at the University of Cologne. He joined the University of Cologne in 2014. His research interests focus on designing, building, and managing integrated information systems, on business process management, on systems development, and on online communities, with an interest on the general question of how organizations can design, build, and manage integrated information systems. His work has been published in leading academic journals such as the Journal of Information Technology, Information Systems Journal, Business & Information Systems Engineering, Journal of Database Management, Supply Chain Management, and Journal of the Association for Information Systems. Prof. Dr. Rosenkranz holds a diploma degree from the University of Münster, Germany. He received his doctoral degree and his habilitation from Goethe University of Frankfurt, Germany. He has collaborated and worked with leading organizations such as SEB, zeb, Woolworth’s, Lufthansa, e-Spirit, and SAP.
Abstract
Information systems using web-based technologies have evolved over the years to cover almost every enterprise or private aspect of life. Due to their now ubiquitous nature and overall intertwining with many aspects of life and society in general, it is time to look at what "grand" challenges the discipline is facing. Five challenges are proposed that researchers and practitioners need to overcome in order to move forward - integration, security, radical technology shifts, monopolies, and the “human component”. These range from very technical to very social aspects. Not all of them are new or astounding, and almost all of them are wicked problems without any easy solution at hand. It is the intention to put them in the spotlight, focusing emphasis on and awareness of them, and to suggest some potential avenues for addressing them.