SAM 2019 Program
Preliminary program, subject to change.

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: To be confirmed)

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: To be confirmed)

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

Final program to be confirmed.

09:00 -10:30: Keynote 2 - Thomas Weigert (Chief Technology Officer and Vice President at UniqueSoft)

Generating Test Suites to Validate Legacy Systems

Abstract: Testing of modernized legacy systems is difficult due to thattypically requirements specifications do not exist and that detailed knowl-edge of the architecture and design of the system may have been lost. Inthis paper we present an approach which derives test suites for a modern-ized legacy systems from the legacy code. We extend our earlier presentedapproach deriving test suites from use case map (UCM) specifications ofa system by transforming the legacy code into a UCM model. We furtherdiscuss enhancements to the test generation process required to operateon the large models obtained from realistic legacy systems and to assurethat the generated tests are meaningful to the tester. This approach hasbeen used to validate the modernization of large (in excess of 20 millionlines of code) mainframe applications implemented in COBOL.

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: To be confirmed)

On the Structure of Avionics Systems Architecture. Visar Januzaj and Stefan Kugele

Generating Executable Code from High-level Formal Description of Social or Socio-Ecological Models. 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: To be confirmed)

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: To be confirmed)

Adapting Integrity Checking Techniques for Concurrent Operation Executions. Xavier Oriol and Ernest Teniente

Eventual Consistency Formalized. Edel Sherratt and Andreas Prinz

17:00 - Closing [To be confirmed]

 

Home About Us Join us What's New

Page last modified on: