Dimitris Kiritsis
Prof. Dr. Dimitris Kiritsis is Faculty Member at the Institute of Mechanical Engineering of the School of Engineering of EPFL, Switzerland, where he is leading a research group on ICT for Sustainable Manufacturing. He served also as Guest Professor at the Intelligent Maintenance Systems Center of the University of Cincinnati, and Invited Professor at the University of Technology of Compiègne, the University of Technology of Belfort-Montbéliard and at ParisTech ENSAM Paris. Prof. Kiritsis is actively involved in EU research programs in the area of Factories of the Future and Enabling ICT for Sustainable Manufacturing. He has more than 180 publications. He is founding fellow member of the International Society for Engineering Asset Management (ISEAM) and of various international scientific communities in his area of interests including EFFRA. Since September 2013 Dimitris is Chair of IFIP WG5.7 – Advanced Production Management Systems and member of the Advisory Group of the European Council on Leadership on Enabling Industrial Technologies – AG LEIT-NMBP.
Semantic Technologies for Industrial Applications
Prof. Dr. Dimitris Kiritsis, EPFL, Switzerland
Abstract
The use of semantic technologies and ontologies is becoming more and more popular in engineering applications and particularly in product modelling. Still, the use is limited in academia and applications are of a small scale. In this lecture we will present the research work done by the ICT for Sustainable Manufacturing group of EPFL, Switzerland, on the use of ontologybased technologies for the life cycle management of products and engineering assets. It aims at providing both a wider understanding of the benefits of applying such technologies in the complex environment of product and asset life cycle management and at providing a platform for implementing ontology models in industrial environments.
Pericles Loucopoulos
Professor Pericles Loucopoulos holds appointments at the Manchester Business School of the University of Manchester (UK) and at Harokopio University of Athens (Greece). His research has been supported by numerous research grants supporting over 20 research projects, most them in collaboration with industry. He is the editor-in-chief of the Journal of Requirements Engineering and also serves as Associate Editor on 15 other journals. His research focus is on the use of conceptual modelling for achieving alignment between enterprise and information technology systems. He is a member of a number of international professional bodies, has served as General Chair or Programme Chair of many international conferences. He has been awarded the Edelman Laureate medal and the President’s Medal of the UK OR Society, two of the top distinctions in the field of Operations Research and Management.
Capability Oriented Enterprise Knowledge Modelling: The CODEK Approach
Prof. Dr. Evangelia Kavakli, University of the Aegean, Greece
Prof. Dr. Pericles Loucopoulos, University of Manchester, UK
Abstract
In order to address dynamic requirements of today’s business environments, Enterprise Modelling has shifted focus on more agile approaches that can offer designers the opportunity to dynamically configure enterprises depending on the requirements that arise as a result of changes in the enterprise domain and its ecosystem. This lecture will outline the key ideas and the main concepts of an approach known as CODEK (Capability Oriented Designs with Enterprise Knowledge). CODEK uses ‘business capabilities’ as a conceptual conduit that can integrate the contextual, service, operational and teleological viewpoints of organizations and enable integrated reasoning on enterprise requirements and evolutionary decisions. Further to introducing to the notion of capability in Enterprise Modelling the objective of this lecture is to demonstrate how a capability oriented approach can guide the design and evaluation of alternative enterprise models that meet the challenges of alignment and agility and define a number of challenges for researchers and practitioners alike.
Oscar Pastor
Full Professor and Director of the Research Center on „Métodos de Producción de Software (PROS)” at the Universidad Politécnica de Valencia (Spain). He received his Ph.D. in 1992. He was a researcher at HP Labs, Bristol, UK. He has published more than two hundred research papers in conference proceedings, journals and books, received numerous research grants from public institutions and private industry, and been keynote speaker at several conferences and workshops. Chair of the ER Steering Committee, and member of the SC of conferences as CAiSE, ICWE, CIbSE or RCIS, his research activities focus on conceptual modeling, web engineering, requirements engineering, information systems, and model-based software production. He created the object-oriented, formal specification language OASIS and the corresponding software production method OO-METHOD. He led the research and development underlying CARE Technologies that was formed in 1996. CARE Technologies has created an advanced MDA-based Conceptual Model Compiler called OlivaNova, a tool that produces a final software product starting from a conceptual schema that represents system requirements. He is currently leading a multidisciplinary project linking Information Systems and Bioinformatics notions, oriented to designing and implementing tools for Conceptual Modelling-based interpretation of the Human Genome information.
From Requirements to Code: Conceptual Model-based Software Design
Prof. Dr. Oscar Pastor, Universidad Politecnica de Valencia, Spain
Abstract
A crucial success factor in information systems development is the alignment of the system with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. The application of sound Conceptual Modelling techniques within a Model-driven System Development (MDD) not only provides a structured and systematic approach to systems development, but also offers developers the possibility of using model transformation technologies to derive models of a lower abstraction level that can be further refined, and even generate software code automatically. From the experience got with the advanced MDD platform provided by Integranova, this presentation will show how to successfully integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on modeldriven requirements engineering, meaning by it how business process models and requirements models can be embedded in a complete Conceptual Modelling-based software production process. As a practical application, a specific method and notations are explained, but the ultimate goal is that assistants are able to apply this knowledge to their own contexts, either in industrial practice or academic research.
Haralambos Mouratidis
Haris Mouratidis is Professor of Software Systems Engineering at the School of Computing, Engineering and Mathematics, at the University of Brighton, U.K and Director of the Secure nd Dependable Software Systems Research Cluster. He is Fellow of the Higher Education Academy (HEA) and Professional Member of the British Computer Society (BCS). His research interests lie in the area of secure software systems engineering, requirements engineering, and information systems development. He is interested in developing methodologies, modelling languages, ontologies, tools and platforms to support the analysis, design, monitoring of security, privacy, risk and trust for large-scale complex software systems. He has published more than 140 papers (h-index 24) and he has secured funding as Principal Investigator from national (Engineering and Physical Sciences Research Council (EPSRC), Royal Academy of Engineering, Technology Strategy Board (TSB)) and international (EU, NII) funding bodies as well as industrial funding (British Telecom, ELC, Powerchex, FORD) towards his research. He is currently leading the UoB team on projects EVOSec, SESAME, VisiOn and MITIGATE. His “Powerchex KTP” project was finalist for the best 2012 UK National Knowledge Transfer Partnership TSB award. He has acted as evaluator for national and international funding bodies (e.g. EPSRC, HEA, and EU) and invited subject expert for organisations (e.g. TSB, NATO). He is on the editorial boards of the Requirements Engineering Journal and the International Journal of Information System Modelling and Design and he has been involved in the organization of various events related to his research interests. He was the General co-Chair of CAiSE’14 and he will be general chair of RCIS’17.
Modelling and Analysing Security Requirements
Prof. Dr. Haralambos Mouratidis, University of Brighton, UK
Abstract
The increasing demand of modern information systems to process and manage sensitive information and the introduction of relevant technological paradigms (e.g. Big Data, Cloud Computing, Internet of Things) has led researchers and industrialists to rethink the way that security (and its related issues such as trust, privacy and risk) is treated during the information systems development process. In the first part of this lecture, I will discuss the security modelling challenges, which are introduced in such complex systems, and I will outline the requirements that security modelling frameworks should fulfil. In the second part, I will present the foundations of a security modelling methodology, called Secure Tropos. From a theoretical perspective, I will describe its concepts, processes, and reasoning capabilities, while from a practical perspective I will present an ADOxx-based tool and some examples of how it can be used in practice.
----------------------------------------
Dominik Bork
Dominik Bork is university assistant (prae doc) at the Research Group Knowledge Engineering at the University of Vienna. He holds a diploma degree in business informatics from the University of Bamberg, Germany.
In 2009 he started working as a university assistant in the research project forFLEX (http://www.forflex.de) at the University of Bamberg. After the project has been successfully concluded, he moved to the University of Vienna. In 2012, he acted as member of the organization team for the Conference Modellierung 2012 which took place at the University of Bamberg. In 2014 he was the organizing chair of the doctoral symposium and member of the conference organization team of the Modellierung 2014 which took place at the University of Vienna. He is a regular reviewer for some of the major publication outlets in business informatics and has publications in conferences like AMCIS, HICCS, IC-SOFT and the EMISA journal.
He is experienced in teaching courses in business informatics on the bachelor and master level at the University of Bamberg, the Virtual University of Bavaria (vhb), and at the University of Vienna.
His primary research interests include multi-view modeling, meta modeling, tool development, enterprise information systems, and Industry 4.0.
Modelling Scenarios for a Smart City
Dominik Bork, Franz Staffel, Nikolaos Tantouris, Wilfrid Utz, Niksa Visic, Michael Walch
University of Vienna
Abstract
The upcoming of technologies in the context of Internet of Things (IoT) such as ubiquitous sensors, mobile devices, and permanent online interaction has recently also been adopted for the area of urban development. Thereby, the transition towards user-driven digital ecosystems in the form of Smart Cities becomes apparent on three levels: a.) innovation economy, b.) city infrastructure and utilities, and c.) governance (Schaffers et al., 2011). In the foundation exercises of NEMO 2016 we will primarily focus on the aspects of the city infrastructure and the utilities. This will be a key element in realizing services such as smart parking, mobility, or the monitoring of the environment in terms of real-time alerts and safety management.
In particular, the increasing usage of IoT technology in smart vehicles, smart infrastructure and smart phones allows developing new business models and services. Based on the tremendous amount of information that is generated every second by sensors in a smart environment, innovative applications such as services for environmental and energy monitoring, services for the prediction of mobility requirements, smart meters for measuring resource consumption, or medical surveillance and assistance for elderly peoples can be realized (Hernández-Muñoz et al., 2011). In this context three foundation exercises have been designed to familiarize the students with modelling concepts, model querying and model processing in an independent application domain.
In three sessions, an introduction to the foundations of meta-modelling, model analysis & querying, and model processing through simulation & algorithms is given. Every session comprises theoretical background, a demonstration using the Smart City scenario, and hands-on parts by means of practical implementation using the ADOxx meta-modelling platform. The goal of the exercises is to show the power of meta-modelling and conceptual modelling in answering the requirements of upcoming domains that cannot be addressed with general-purpose modelling languages.
[1] Schaffers et al. (2011): Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation, in: J. Domingue et al. (Eds.): Future Internet Assembly, pp. 431–446, Springer.
[2] Hernández-Muñoz, J.M. et al. (2011): Smart Cities at the Forefront of the Future Internet, in: J. Domingue et al. (Eds.): Future Internet Assembly, pp. 447–462, Springer.