For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modeling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The workshop PNSE'16 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2016.

The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

• Modeling
•  representation of formal models by intuitive modeling concepts
•  guidelines for the construction of system models
•  representative examples
•  process-, service-, state-, event-, object- and agent-oriented approaches
•  adaption, integration, and enhancement of concepts from other disciplines
•  views and abstractions of systems
•  model-driven architecture
•  modeling software landscapes
•  web service-based software development
• Validation and Execution
•  prototyping
•  simulation, observation, animation
•  code generation and execution
•  testing and debugging
•  efficient implementation
• Verification
•  structural methods (e.g. place invariants, reduction rules)
•  results for structural subclasses of nets
•  relations between structure and behavior
•  state space based approaches
•  efficient model checking
•  assertional and deductive methods (e.g. temporal logics)
•  process algebraic methods
•  applications of category theory and linear logic
• Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
  •  flexible manufacturing,
  •  logistics,
  •  telecommunication,
  •  big data,
  •  cyper-physical systems,
  •  internet-of-things,
  •  cloud computing,
  •  distributed systems,
  •  workflow management and
  •  embedded systems.
• Tools in the fields mentioned above

Gabriele Taentzer (Philipps-Universität Marburg):

Model-Driven Development of Platform-Independent Mobile Applications

Rapidly increasing numbers of applications and users make the development of mobile applications to one of the most promising fields in software engineering. Due to short time-to-market, differing platforms and fast emerging technologies, mobile application development faces typical challenges where model-driven development can help.

An infrastructure for model-driven development (MDD) has a high potential for accelerating the development of software applications. While just modeling the application-specific data structures, processes and layouts, runnable apps can be generated for several platforms such as Android and iOS. Hence, MDD can lift software development to a higher abstraction level leaving all technical details to the generators. Moreover, the domain-specific model of a mobile application can be the starting point for validation and verification based on formal models.

In this presentation, we consider the state-of-the-art in model-driven development of mobile applications and discuss future research directions such as the MDD support for higher mobility in changing contexts, a variable combination of sensors, and augmented reality.

 

Yann Thierry-Mieg (Pierre and Marie Curie University):

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology

Model-based technology has evolved rapidly in the last decade, bringing immediate benefits to its users. Defining domain specific languages has never been easier, thanks to the infrastructure provided by frameworks such as eclipse EMF and XText. Industrial adoption is easy, you provide specialists with just the language they need.

But this is also an opportunity for formal methods and tools to find a wider user base. A problem hindering adoption of formal methods is the effort one needs to invest in learning a particular formalism and the possible gap that exists between a handcrafted model and the reality. Model translation provides an easy way to obtain formal models from domain models that contain fine grain behavioral information, since a DSL typically also has some runtime or code generation support.

This talk will present our experiences in building tools for model-checking of various languages using models and transformations and thus leveraging the state of the art in model engineering technology.

• Kamel Barkaoui (Conservatoire National des Arts et Métiers, France)
• Robin Bergenthum (University of Hagen, Germany)
• Didier Buchs (University of Geneva, Switzerland)
• Lawrence Cabac (University of Hamburg, Germany) (Co-Chair)
• Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
• Gianfranco Ciardo (Iowa State University, USA)
• José-Manuel Colom (University of Zaragoza, Spain)
• Jörg Desel (University of Hagen, Germany)
• Raymond Devillers (Université Libre de Bruxelles, Belgium)
• Susanna Donatelli (University of Turin, Italy)
• Giuliana Franceschinis (University of Piemonte Orientale / University of Torino, Italy)
• Nicolas Guelfi (University of Luxembourg)
• Stefan Haar (ENS Cachan, France)
• Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology, Japan)
• Peter Kemper (College of William and Mary, USA)
• Ekkart Kindler (Technical University of Denmark, Denmark)
• Hanna Klaudel (Université d'Evry-Val d'Essonne, France)
• Michael Köhler-Bußmeier (University of Applied Science Hamburg, Gemany)
• Radek Koci (University of Brno, Czech republic)
• Maciej Koutny (Newcastle University, United Kingdom)
• Lars Kristensen (Bergen University College, Norway) (Co-Chair)
• Łukasz Mikulski (Nicolaus Copernicus University, Toruń, Poland)
• Daniel Moldt (University of Hamburg, Germany)
• Berndt Müller (University of Glamorgan, UK)
• Wojciech Penczek (University of Podlasie, Poland)
• Laure Petrucci (University Paris Nord, France)
• Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
• Heiko Rölke (DIPF, Germany) (Co-Chair)
• Yann Thierry-Mieg (University P. & M. Curie, LIP 6, France)
• H.M.W. Eric Verbeek (Eindhoven University, Netherlands)
• Jan Martijn van der Werf (Utrecht University, Netherlands)
• Karsten Wolf (University of Rostock, Germany)