Workshop Proceedings
The workshop proceedings are now available in the IEEE Digital Library.
Keynote - Julio Cesar Leite
(11:30-12:30) "The Prevalence of Code Over Models: Turning it Around With Transparency"
(presentation)
Over the last ten years there has been an increasing shift in software production from plan-driven processes towards lean software processes. These lean processes are either based on agile strategies or in open source environments. One instance of this trend is the growing use of GitHub as a software construction platform. More and more, software developers are relying on text as representation and collaboration as a way of producing quality software. As such, the adoption of more abstract representations (model oriented), as the research community have been forecasting, is yet to happen. Taking a bias position, anchored on the concept of transparency as a quality, we look at the factors for the prevalence of code over models. We try to forecast possible ways to foster the use of models in software production. Our vision is based on bringing transparency to collaborative modeling.
Dr. Julio Cesar Leite is an Associate Professor in the Departamento de Informática at PUC-Rio. He is a founding member of the Brazilian Computer Society, a member of the IFIP 2.9 Working Group, and a holder of the IEEE Requirements Engineering Conference Lifetime Service Award. His research interests are in software requirements engineering with a particular emphasis on improving software transparency. The Requirements Engineering group at PUC-Rio has been developing new requirements techniques for improving transparency within the context of requirements evolution.
Workshop Papers
Full research papers:
- (Paper #1) (9:10-9:40) Jonathan S. Ostroff and Chen-Wei Wang:
Modelling and Testing Requirements via Executable Abstract State Machines
(presentation) (video of presentation) - (Paper #2) (9:40-10:10) Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna:
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
(presentation) - (Paper #3) (14:00-14:30) Nadin Bou Khzam and Gunter Mussbacher:
Domain-Specific Software Language for Crisis Management Systems
(presentation) - (Paper #4) (14:30-15:00) Mounifah Alenazi, Nan Niu, Wentao Wang, and Juha Savolainen:
Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems
(presentation) - (Paper #5) (11:00-11:30) Karan Singh Hundal and Gunter Mussbacher:
Model-Based Development with Distributed Cognition
(presentation) - (Paper #6) (15:00-15:30) Amin Rabinia and Sepideh Ghanavati:
The FOL-based Legal-GRL (FLG) Framework: Towards an Automated Goal Modeling Approach for Regulations
(video of presentation)
Short research papers:
- (Paper #7) (10:10-10:30) Denisse Muñante, Fitsum Meshesha Kifetew, Jesús Gorroñogoitia, Ronnie Schaniel, Anna Perini, and Angelo Susi:
Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming
(presentation) - (Paper #8) (16:00-16:20) Magnus Wilson and Krzysztof Wnuk:
Towards Multi-context Goal Modeling and Analysis with the Help of Intents
(presentation) - (Paper #9) (16:20-16:40) Bert de Brock:
Towards pattern-driven requirements engineering: Development patterns for functional requirements
(presentation) - (Paper #10) (16:40-17:00) Nelly Bencomo, Peter R. Lewis, and Sebastian Götz:
Interacting Decision-making Agents and their Impacts on Assurances: Taxonomy and Challenges
(presentation)