PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

Two Latest Development for Geographic Information Systems and Enterprise Information Systems
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

 

Two Latest Development for Geographic Information Systems and Enterprise Information Systems

Victor Chang
Xi'an Jiaotong - Liverpool University
China
 

Brief Bio
Victor Chang is an Associate Professor (Reader) in Information Management and Information Systems of International Business School Suzhou, Xi'an Jiaotong Liverpool University, China. He's also a Director of PhD Program. He was previously a Senior Lecturer in the School of Computing, Creative Technologies at Leeds Beckett University, UK. He’s a Visiting Researcher at the University of Southampton, UK and an Honorary Associate Professor at the University of Liverpool, UK. He is an expert on Cloud Computing and Big Data in both academia and industry with extensive experience in related areas since 1998. He completed a PGCert (Higher Education) and PhD (Computer Science) within four years while working full-time. He has over 100 peer-reviewed published papers. He won £20,000 funding in 2001 and £81,000 funding in 2009. He was involved in part of the £6.5 million project in 2004, part of the £5.6 million project in 2006 and part of a £300,000 project in 2013. He won a 2011 European Identity Award in Cloud Migration, since his work is making contributions. He has won 2016 European Identity and Cloud Award on the best project in research, involved with more than 20 collaborators worth more than $10 millions in valuation. He was selected to present his research in the House of Commons in 2011 and won the best paper in 2012 and 2015. He has demonstrated Storage as a Service, Health Informatics as a Service, Financial Software as a Service, Education as a Service, Big Data Processing as a Service, Integration as a Service, Security as a Service, Social Network as a Service, Data Visualization as a Service (Weather Science) and Consulting as Service in Cloud Computing and Big Data services in both of his practitioner and academic experience. His proposed frameworks have been adopted by several organizations. He is the founding chair of international workshops in Emerging Software as a Service and Analytics and Enterprise Security. He is the founding chair of IoTBDS and COMPLEXIS which have become popular in research communities. He is an Editor-in-Chief (EIC) in International Journal of Organizational and Collective Intelligence and a founding EIC in Open Journal of Big Data. He is the Editor of a highly prestigious journal, Future Generation Computer Systems (FGCS). He is a reviewer of numerous well-known journals and had published three books on Cloud Computing which are available on Amazon website. He is a keynote speaker for CLOSER 2015/WEBIST2015/ICTforAgeingWell 2015 and has received positive support.


Abstract
This keynote will include describing the latest development for geographic information systems and enterprise information systems. The first service include weather computing, analysis and visualization. Technologies and techniques to forecast temperatures and simulate temperature distributions will be presented with two major cases are presented. The first case is focused on forecasting temperatures based on the historical data of Sydney, Singapore and London to compare the past and forecast temperatures. The second case 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 mainland China before and after monsoon period. Experiments in regard to performance in weather computing and data visualization were undertaken. The second service is focused on smart cities, which include big data processing techniques, results with discussion and case studies in several cities. These modern development can make positive impacts and improvements to our day-to-day activities.



 

 

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 200 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