Home      Log In      Contacts      FAQs      INSTICC Portal
Special Session
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2016

19 February, 2016 - Rome, Italy

In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016


Antonello Calabrò
Istituto di Scienza e Tecnologie dell'Informazione "A.Faedo"
Brief Bio
Dr. Antonello Calabrò received his degree in Computer Science from the University of Pisa in 2007. He is a researcher and software developer at CNR-ISTI in Pisa. Since 2007 he joined Human Interface in Information System group developing software solutions for improving mobility and text recognition of blind and visually impaired people within the project INPUT and Book4All. Currently, he is working at Software Engineering and Dependable Computing Laboratory (SEDC) at CNR-ISTI, investigating on software infrastructures for monitoring of complex systems (GLIMPSE) and focusing his research on: event-driven monitoring, business processes modeling and assessment, complex events processing. His expertise on these research topics has been applied in the context of several European research projects including CONNECT, Tas3, ChoreOS and LearnPAd. He is author of several publications and was member of the ICSE 2015 organizing committee.
Francesca Lonetti
National Research Council (CNR) Pisa
Brief Bio
Francesca Lonetti is a researcher at CNR-ISTI, Italy. Her current research focuses on monitoring and testing of software systems. In particular, she is interested in: model-based monitoring approaches; testing of security systems (access control and usage control systems); methodologies and tools for robustness testing of web services, and business process modeling and assessment. Her expertise on these research topics has been applied in the context of several national and European research projects including LearnPAd, CHOReOS, TAS3, NESSoS, CONNECT, D-ASAP. She currently serves as member of the Editorial Board of International Journal of Communication Networks and Information Security (IJCNIS). She is and has been part of the program committee of several international conferences and workshops in the field, such as ICST, MODELSWARD, AST, QUATIC, ENASE. She has been publications chair of ICST 2012 and proceedings co-chair of ICSE 2015. She is co-chair of the 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016).
Eda Marchetti
Brief Bio
Eda Marchetti is a researcher at CNR-ISTI. She graduated summa cum laude in Computer Science from the University of Pisa (1997) and got a PhD from the same University (2003). Her research activity focuses on software testing in general and in particular on the introduction of novel methodologies for testing emerging software technologies. Her research topics include: security testing, testing of access control systems, model-based testing, SOA and component based testing, requirement management and assessment, monitoring business process, testing process management and scheduling, structural testing, interoperability testing, domain specific testing, product certification and assessment. She has served as a reviewer for several international conferences and journals, and she has been part of program committee of numerous international workshops and conferences. She has been part of the organizing committee in different international conferences and workshops; she has served as guest editor for different special issues; she has been the poster chair and publicity chair in several international conferences; she has been the track chair and the co-chair for several international conferences and workshops. She has been the responsible for ISTI-CNR of several national and international EU projects and she actively participated to more than 15 national and international projects. She has (co)authored over 50 papers in international journals and conferences.


Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use domain knowledge to adapt well-known model-based approaches for verification and validation. It is generally agreed that the use of domain specific solutions is cost effective and can offer vast improvements in assessment of final software product. The aim of this workshop is to investigate different aspects and domain specific solutions for model-based verification and validation. This workshop provides a forum for academia, industry, and research and development communities to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain specific model-based verification and validation.
Topics: V&V solutions for specific domain Domain specific testing strategies Safety and Security V&V Model-based security assessment Requirements elicitation and modeling Methodological approaches for V&V Generation of domain-specific V&V frameworks Model-driven test suite generation Domain specific V&V tools Customization of V&V methodologies to specific domain V&V approaches at design level Simulation and monitoring for specific application domain Business process modeling and assessment Certification and assessment of software products In-house vs. third party V&V solutions

Empirical studies and industrial experiences Identification of problems and visions of the future Welcome domains of application include, but are not limited to:
•Telecommunication and Networks
•Cloud Computing and Web Services
•Mobile Devices
•Automotive and Transportation
•Smart Grid, Smart Cities, and Smart Spaces
•Public Administration
•Finance & Business
•Social Networks
•Media and Audio-Visual


Room: Space 4B

10:45 Opening

10:55 Keynote Lecture – The Role of Context in Extra-functional Verification and Validation
Abstract: Context-awareness is a first-class attribute of today software systems. Indeed, applications for mobile devices need to be aware of their context in order to adapt their structure and behavior for offering their services even in case the software and hardware resources are limited and subject to fluctuation. Context-aware systems demand for new development processes that explicitly consider context and its evolution in their activities. During execution, in fact, the context can change frequently and so drastically that the initial development assumptions are no always valid during system execution. As a consequence, the extra-functional requirements could not be satisfied in some visited context.

Today Extra-functional Verification and Validation techniques used at development time are based on model-based analysis techniques that, while implicitly consider some dimensions of context through input parameters (e.g., processing power, network bandwidth and failure probability, user profile), neglect the interplay among such context attributes (low battery level can demand for a reduced processing rate) and their evolution (context attributes may change along the time).

In this talk we introduce an explicit modeling technique of the context and its evolution and we show (i) how such modeling framework can be used to enhance non-functional verification and validation techniques and (ii) how it enables certain types of analysis and reasoning, not feasible with context-agnostic approaches.

Prof. Antinisca Di Marco, University of L'Aquila, Italy.

Bio: Since March 2008, Antinisca Di Marco is Assistant Professor at University of L'Aquila. In January 2015 she got the Associate Professor Habilitation. She is founder and Member of the Board of Directors of SMARTLY s.r.l., a SPIN OFF of the University of L'Aquila founded in 2014.

Her main research interests include (early) verification and validation of quality attributes, performance modeling and stochastic theory, context modeling and extra-functional analysis of context-aware software systems, bio-inspired adaptation mechanisms and bioinformatics.

She was one of the organizer of the first ARAMIS 2008 workshop and of the Special session on "the quest for case studies" within the 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2012). She has been the co-Chair of the first Italian Student Contest on Software Engineering (SCORE-it) at the 37th International Conference on Software Engineering (ICSE2015).

Track 1- Model-based Analysis and Development
11:45 - Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems
Speaker: Alessandro Fantechi, DINFO - University of Florence, Italy
12:15 - Enriching Model Execution with Feedback to Support Testing of Semantic Comformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture
Speaker: Gayane Sedrakyan, Katholieke Universiteit Leuven, Belgium

12:45 - Lunch break

Track 2 - Approaches for Model-based Testing
14:00 - TASSA: A Testing as a Service Framework for Web Service Compositions
Speaker: Dessislava Petrova-Antonova, Sofia University, Bulgaria
14:30 - Testing Multimodal Interactive Applications by Means of the TTT Language
Speaker: Ioannis Parissis, Grenoble INP LCIS, France
15:00 - Mutating OWLs: Semantic Mutation Testing for Ontologies
Speaker: Cesare Bartolini, Université du Luxembourg, Luxembourg

15:30 - Coffee-break

Track 3 - Management and Assessment of Complex Systems
16:45 - Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation
Speaker: Giuseppe Lami, Consiglio Nazionale delle Ricerche, Italy
17:15 - Monitoring of Learning Path for Business Process Models
Speaker: Venkatapathy Subramanian, Gran Sasso Science Institute, Italy
17:45 - Exploiting Vehicles' Reputation to Mitigate DoS Attack
Speaker: Ilaria Matteucci, Istituto di Informatica e Telematica, CNR, Italy
18:00 - Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs
Speaker: Nina Yevtushenko, Tomsk State University, Russian Federation

18:15 Closure


Paper Submission: November 30, 2015 (expired)
Authors Notification: December 9, 2015 (expired)
Camera Ready and Registration: December 18, 2015 (expired)


Matthias Büchler, Technical University Munich, Switzerland
Ana Cavalli, TELECOM SudParis, France
João Faria, FEUP - Faculty of Engineering of the University of Porto, Portugal
Angelo Gargantini, University of Bergamo, Italy
Paul Grace, University of Southampton, United Kingdom
Sylvia Ilieva, Sofia University "St. Kliment Ohridski", Bulgaria
Maria Jose Escalona, University of Seville, Spain
Leonardo Mariani, University of Milano Bicocca, Italy
Paolo Masci, INESC-TEC and Universidade do Minho, Portugal
Raffaela Mirandola, Politecnico di Milano, Italy
Paolo Mori, Consiglio Nazionale delle Ricerche, Italy
Tejeddine Mouelhi, , Luxembourg
Ana C. Paiva, Faculty of Engineering of University of Porto, Portugal
Ioannis Parissis, Grenoble INP LCIS, F-26902 Valence, France
Patrizio Pelliccione, Chalmers University of Technology | University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden & BITS-Pilani, Goa, India, Sweden
Antonino Sabetta, , France
Maurice ter Beek, ISTI-CNR, Pisa, Italy
Sira Vegas, Universidad Politecnica de Madrid, Spain


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the workshop program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).


e-mail: modelsward.secretariat@insticc.org