Home      Log In      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

The Enterprise Information Systems to Realize and Understand More About Our World
Victor Chang, Xi'an Jiaotong-Liverpool University, China

High-level Verification and Validation of Software Supporting Business Processes
Hermann Kaindl, TU Wien, 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

Victor Chang
Xi'an Jiaotong-Liverpool University
China
 

Brief Bio
Prof. Victor Chang is an Associate Professor (Reader), Director of Ph.D. (June 2016 – May 2018) and Director of MRes at International Business School Suzhou (IBSS), Xi’an Jiaotong-Liverpool University (XJTLU), Suzhou, China, since June 2016. He is also a very active and contributing key member at Research Institute of Big Data Analytics (RIBDA), XJTLU. He's an Honorary Associate Professor at the University of Liverpool and Visiting Researcher at the University of Southampton, UK. Previously he worked as a Senior Lecturer at Leeds Beckett University, UK, for 3.5 years. Within 4 years, he completed Ph.D. (CS, Southampton) and PGCert (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 a European Award on Cloud Migration in 2011, IEEE Outstanding Service Award in 2015, best papers in 2012 and 2015, the 2016 European award: Best Project in Research, 2016 SEID Excellent Scholar, Suzhou, China, Outstanding Young Scientist award in 2017, 2017 special award on Data Science, 2017 and 2018 INSTICC Service Awards and numerous awards since 2012. He is a visiting scholar/Ph.D. examiner at several universities, an Editor-in-Chief of IJOCI & OJBD journals, Editor of FGCS, Associate Editor of TII, founding chair of two international workshops and founding Conference Chair of IoTBDS http://www.iotbd.org and COMPLEXIS http://www.complexis.org since Year 2016. He was involved in different projects worth more than £12.5 million in Europe and Asia. He has published 3 books as sole authors and the editor of 2 books on Cloud Computing and related technologies. He gave 16 keynotes at international conferences. He is widely regarded as one of the most active and influential young scientist and expert in IoT/Data Science/Cloud/security/AI/IS, as he has experience to develop 10 different services for multiple disciplines. He is founding conference chair for IoTBDS, COMPLEXIS and FEMIB to build up and foster active research communities globally.


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
Austria
 

Brief Bio
Hermann Kaindl is the director of the Institute of Computer Technology and a member of the Senate at TU Wien. He joined this institute in early 2003 as a full professor. 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 software development and human-computer interaction. He has published five books and more than 230 papers in refereed journals, books and conference proceedings. He is a Senior Member of the IEEE, a Distinguished Scientist member of the ACM, a member of the AAAI, and is on the executive board of the Austrian Society for Artificial Intelligence.


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
 

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.



footer