SAM 2019 Program
Monday September 16, 2019
09:00 – 09-15: Opening
09:15 -10:30: Keynote 1 - Antoni Guasch i Petit (Universitat Politècnica de Catalunya)
Conceptual Modeling using Petri Nets
Abstract: Petri nets have proved to be a successful tool for modeling logistic and manufacturing systems thanks to a series of properties, including the conciseness with which they embody static structure and dynamics, the availability of mathematical analysis techniques, and the clear graphical nature. Furthermore, Petri nets are very suitable for modeling and visualizing patterns of behavior comprising concurrency, synchronization and resource sharing, which are key factors in optimizing system performance. The main objective of this presentation is to introduce Petri nets as a formalism for the conceptual modeling of discrete event systems. The discussion will be put in the context of logistic, transportation and manufacturing industrial simulation processes in which the conceptual modelling is an important phase of the simulation project life cycle.
Biography
Born in 1958, Dr. Antoni Guasch is a research engineer focusing on modelling, simulation and optimization of dynamic systems, especially continuous and discrete-event simulation of industrial processes. He received his Ph.D. from the UPC in 1987. After a postdoctoral period at the State University of California (USA), he becomes a professor of the UPC (www.upc.edu ). He is now professor in the department of "Ingeniería de Sistemas, Automática e Informática Industrial" in the UPC where he is teaching Modeling, Simulation and Optimization courses. Since 1990, Prof Guasch has lead 45 industrial projects related with modelling, simulation and optimization of nuclear, aerospace, textile, transportation, intermodality, car manufacturing, beer, water, steel, pharmaceutical, health and banking processes.
Prof. Guasch has also been the Scientific Co-ordinator and researcher in 7 scientific projects. He has participated in 4 EU projects, with the role of partner leader in two of them. He has also been involved in the organization of local and international simulation conferences.
10:30 – 11:00: Coffee break
11:00 – 12:30: Session 1 - Distributed applications, Metamodeling and protocols (Chair: Pau Fonseca i Casas)
Deriving Distributed Design Models from Global State Machines Requirements. Mohammad F. Al-Hammouri and Gregor V. Bochmann
Generic Graphical Navigation for Modelling Tools. Hyacinth Ali, Gunter Mussbacher and Jörg Kienzle
Protocol syntax development using domain specific modeling languages. Goran Rajic and Vlado Sruk
12:30 – 14:00: Lunch
14:00 – 15:30 Session 2 - Industry 4.0 applications (Chair: Abdelouahed Gherbi)
Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context. Régis Plateaux, Olivia Penas and Farid Louni
Modeling and code generation framework for IoT. Mohammad Sharaf, Mai Abusair, Rami Ilawi, Yara Shana'A, Ithar Saleh and Henry Muccini
Process Enactment with Traceability Support for NFV Systems. Omar Hassane, Sadaf Mustafiz, Ferhat Khendek and Maria Toeroe
15:30- 16:00: Coffee break
16:00 – 17:30 SDL Forum Society AGM
Tuesday September 17, 2019
09:00 -10:30: Keynote 2 - Thomas Weigert (Chief Technology Officer and Vice President at UniqueSoft)
Generating Test Suites to Validate Legacy Systems
Abstract: 20 years after the work on UML 2.0 was initiated, it is due time to reflect on whether this initiative resulted in any tangible benefits to the software development community at large. This talk attempts to answer this question based on the experience of providing software development services through MDE technologies to many Fortune 500 companies and describe from a personal perspective what worked and what did not work in the hope to shed light on whether MDE still has a future, or whether it is time to move on to try new technologies to develop the next generation software products. This talk will conclude with a detailed discussion of the derivation of system test suites from legacy code to validate modernized (large) legacy systems.
Biography:
Thomas Weigert is Chief Technology Officer and a founder of Uniquesoft where he directs research and development. Previously, he held positions as Professor of Computer Science and St. Clair Endowed Chair of Software Engineering at the University of Missouri at Rolla; as Motorola Fellow and Vice President with Motorola Global Software Group where he was responsible for the development environment, including processes, methods, tools, as well as the quality and engineering computing infrastructures, deployed in 19 software factories in 14 countries with over 7500 software engineers; and as Assistant Professor of Mathematics at the Johannes Kepler University in Linz. He held visiting research positions at the Electrotechnical Laboratories, Tsukuba, and Argonne National Laboratories, Argonne.
He is the author of a text book, seven international standards, as well as over seventy book chapters and refereed articles in international journals and conferences on the application of artificial intelligence techniques to the development of product software, in particular for real-time distributed systems. His research contributions have been in the areas of modeling languages, the derivation of efficient programs from design models, and the use of automated theorem proving in program generation and verification. He and his team have developed innovative tools supporting the software development life cycle and have demonstrated one of the first commercial embedded software products with the complete code automatically generated from high-level specifications as early as the late eighties. He holds 6 US patents pertaining to the generation and testing of software using automated techniques.
He received his Ph.D., M.S., and M.A. degrees from the University of Illinois, and an M.B.A. from Northwestern University.
10:30 – 11:00: Coffee break
11:00 – 12:30: Session 3 - Modelling in environmental, social and industrial systems (Chair: Edel Sherratt)
On the Structure of Avionics Systems Architecture. Visar Januzaj and Stefan Kugele
Generating Executable Code from High-level Social or Socio-Ecological Model Descriptions. Themis Dimitra Xanthopoulou, Andreas Prinz and F. Leron Shults
Towards a representation of Cellular Automaton using Specification and Description Language. Pau Fonseca i Casas
12:30 – 14:00: Lunch
14:00 – 15:30 Session 4 - Interoperability (Chair: Finn Kristoffersen)
Goal Model Integration: Advanced Relationships and Rationales Documentation. Malak Baslyman and Daniel Amyot
Union Models: Support for Efficient Reasoning about Model Families over Space and Time. Sanaa Alwidian and Daniel Amyot
Facilitating the Co-Evolution of Standards and Models. Philip Makedonski and Jens Grabowski
15:30- 16:00: Coffee break
16:00 – 17:00: Session 5 - Concurrency, Data integrity (Chair: Philip Makedonski)
Adapting Integrity Checking Techniques for Concurrent Operation Executions. Xavier Oriol and Ernest Teniente
Eventual Consistency Formalized. Edel Sherratt and Andreas Prinz
17:00 - Closing (Edel Sherratt)
