Workshop Proceedings
The workshop proceedings are now available in the IEEE Digital Library.
Keynote - Lionel Briand
(11:00-12:30) "Capturing and Analyzing Legal Requirements"
Many information systems, for example taxation and social security systems, must comply with legal requirements. To be able to elaborate and analyze legal requirements, analysts need to carefully interpret the underlying laws and regulations, and subsequently express the legal requirements in such a way as to support a number of critical tasks. These tasks notably include traceability management and evolution, requirements simulation, and compliance verification. In this talk, I will present our recent work on modeling and analysis of legal requirements and reflect on the experience we have gained from the work. Throughout the talk, I will discuss and illustrate several important considerations that go into the development of a modelling framework for legal requirements, including the need to bridge the expertise gap between legal experts and software analysts, and further how one can tailor existing Model Driven Engineering technologies for use in legal requirements engineering.
Lionel Briand is Professor (FNR PEARL chair) in software engineering and is Vice-Director at the Centre for ICT Security, Reliability, and Trust (SnT), University of Luxembourg. He is a highly regarded expert in the areas of software verification and model-driven engineering, performing research with strong and sustained industrial collaborations. He is an IEEE Fellow, and is the recipient of the IEEE CS Harlan Mills award, and the IEEE Reliability Society's engineer-of-the-year award.
Workshop Papers
The workshop papers are now available in the IEEE Digital Library (click on the individual paper titles). The workshop presentations are now available to workshop participants (download all presentations in one zip file).
Full research papers:
- (Paper #1) (14:20-14:40) Kenneth Boness and Rachel Harrison:
The Synergies between Goal Sketching and Enterprise Architecture
(presentation) - (Paper #2) (9:10-9:30) Marat Abilov, Tariq Mahmoud, Manuel Mora, and Jorge Marx Gómez:
Towards an Incremental Bidirectional Partial Model Synchronization between Organizational and Functional Requirements Models
(presentation) - (Paper #3) (14:00-14:20) Mole Li, Alan Grigg, Lin Guan, Firat Batmaz, Peter Bull, and Matthew Ingham:
Model-based Systems Engineering with Requirements Variability for Embedded Real-Time Systems
(presentation) - (Paper #4) (14:40-15:00) Mustafa Berk Duran, Aldo Navea Pina, and Gunter Mussbacher:
Evaluation of Reusable Concern-Oriented Goal Models
(presentation) - (Paper #5) (9:30-9:50) Novarun Deb, Nabendu Chaki, and Aditya Ghose:
Using i* Model towards Ontology Integration and Completeness Checking in Enterprise Systems Requirement Hierarchy
(presentation) - (Paper #6) (15:00-15:20) Tianqi Zhao, Haiyan Zhao, Wei Zhang, and Zhi Jin:
Goal Model Driven Alternative Selection: A Quantitative Approach
(presentation) - (Paper #7) (9:50-10:10) Xiaobu Yuan and Xieshen Zhang:
An Ontology-based Requirement Modeling for Interactive Software Customization
(presentation)
Short research paper:
- (Paper #8) (10:10-10:25) Shubhrendu Tripathi and Xiaobu Yuan:
Combining Ontologies for Requirements Elicitation
(presentation)