AMARETTO 2016 Abstracts


Full Papers
Paper Nr: 1
Title:

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

Authors:

Alessandro Fantechi and Stefano Pepi

Abstract: In the experience of a railway signaling manufacturer, schedulability analysis takes an important portion of the time dedicated to configure a complex, generic, real-time application into a specifically customized signalling embedded application. We report on an approach aimed at substituting possibly unreliable and costly empirical measures with rigorous analysis. The analysis is done resorting to modeling the scheduling algorithms by Petri Nets. We have compared two types of Petri Nets: Timed Petri Nets (TPN) and Coloured Petri Nets (CPN), supported by open source tools, respectively TINA and CPN Tools 4.0 concluding that the latter are more suited for the dealt problem.
Download

Paper Nr: 2
Title:

Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture

Authors:

Gayane Sedrakyan and Monique Snoeck

Abstract: Model Driven Development (MDD) has traditionally been used to support model transformations and code generation. While plenty of techniques and tools are available to support modeling and transformations, tool support for checking the model quality in terms of semantic conformance with respect to the domain requirements is largely absent. In this work we present a model verification and validation approach based on model-driven feedback generation in a model-to-code transformation. The transformation is achieved using a single click. The generated output of the transformation is a compiled code which is achieved by a single click. This also serves as a rapid prototyping instrument that allows simulating a model (the terms prototyping and simulation are thus used interchangeably in the paper). The proposed feedback incorporation method in the generated prototype allows linking event execution in the generated code to its causes in the model used as input for the generation. The goal of the feedback is twofold: (1) to assist a modeler in validating semantic conformance of a model with respect to a domain to be engineered; (2) to support the learning perspective of less experienced modelers (such as students or junior analysts in their early career) by allowing them to detect modeling errors that result from the misinterpreted use of modeling language constructs. Within this work we focus on conceptual and platform independent models (PIM) that make use of two prominent UML diagrams – a class diagram (for modeling the structure of a system) and multiple interacting statecharts (for modeling a system’s dynamic behavior). The tool has been used in the context of teaching a requirements analysis and modeling course at KU Leuven. The proposed feedback generation technique has been constantly validated by means of “usability” evaluations, and demonstrates a high level of self-reported utility of the feedback. Additionally, the findings of our experimental studies also show a significant positive impact of feedback-enabled rapid prototyping method on semantic validation capabilities of novices. Despite our focus on specific diagramming techniques, the principles of the approach presented in this work can be used to support educational feedback automation for a broader spectrum of diagram types in the context of MDD and simulation.
Download

Paper Nr: 3
Title:

Testing Multimodal Interactive Applications by Means of the TTT Language

Authors:

Le Thanh Long, Nguyen Thanh Binh and Ioannis Parissis

Abstract: Developing interactive applications is a complex activity as they must deal with various kinds of human-computer interactions. This is especially true when these interactions use multiple modalities (voice, gesture…). As a result, thoroughly testing such applications is particularly important and requires more effort than for traditional interactive applications. In this paper, we propose an approach for automating the test generation of such multimodal applications. This approach is based on the definition of a new test modelling language, TTT. Test models provided in TTT can be translated intest generators.TTT deals with a well-known class of multimodality properties: the CARE properties. The whole approach is illustrated on a case study.
Download

Paper Nr: 4
Title:

TASSA: A Testing as a Service Framework for Web Service Compositions

Authors:

Dessislava Petrova-Antonova, Sylvia Ilieva and Denitsa Manova

Abstract: Testing-as-a-Service (TaaS) is a new quality assurance model addressing the challenges of software testing in the cloud. The missing access to the hardware or different software configurations as well as the difficulties of building a test environment are examples for common problems in the testing process. This paper addresses such problems by proposing a TaaS-enabled framework offering testing services on as-needed basis. The framework, called Testing as a Service Software Architecture (TASSA), supports testing of web service compositions described with Business Process Execution Language for Web Services (WS-BPEL). Its core functionality includes fault injection and dependencies isolation of the application under test. It is implemented as web services deployed on cloud infrastructure. In addition, the TASSA Graphical User Interface (GUI) for test case design and execution is implemented as a plugin for Eclipse IDE. It could be accessed from a local computer or used for building a cloud test lab on a virtual machine. Sample business process from wine industry is used for proving the feasibility of TASSA framework.
Download

Paper Nr: 6
Title:

Mutating OWLs: Semantic Mutation Testing for Ontologies

Authors:

Cesare Bartolini

Abstract: Ontologies are an essential component of semantic knowledge bases and applications, and nowadays they are used in a plethora of domains. Despite the maturity of ontology languages, support tools and engineering techniques, the testing and validation of ontologies is a field which still lacks consolidated approaches and tools. This paper attempts at partly bridging that gap, taking a first step towards the extension of mutation testing techniques to ontologies expressed in a widely-used format. Mutation testing techniques, revisited in the light of the peculiar features of the ontology language and structure, can help in the engineering and refinement of ontologies and software based on them.
Download

Paper Nr: 7
Title:

Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation

Authors:

Isabella Biscoglio, Giuseppe Lami and Gianluca Trentanni

Abstract: This paper describes an experience of software certification in the specific fiscal software domain. The Italian Fiscal Software Certification scenario and the cash register, as specific kind of fiscal device running fiscal software, are outlined. Besides, some requirements, extracted from the current legislation, are shown. As the Italian legislation does not provide it, a Business Process Model (BPM) presenting the fiscal software certification process is illustrated. The BPM was built by means of a study of the current legislation and it constitutes the original contribution to the paper. Finally, the challenges of the further technological adjustments according to the Italian legislation are discussed.
Download

Paper Nr: 9
Title:

Monitoring of Learning Path for Business Process Models

Authors:

Venkatapathy Subramanian and Antonia Bertolino

Abstract: In modern society the employees of complex organizations are under pressure to constantly improve their knowledge and skills. Novel approaches and tools to support effective and efficient workplace learning in collaborative and engaging ways are needed. On the other hand, Business Process Management (BPM) is more and more employed to support and manage the complex processes carried out within organizations. BPM can be used as well to guide workplace learning, with the advantage of naturally aligning training tasks to real tasks. We introduce a specification of learning path that maps BPM tasks and activities into sequences of learning tasks. Our learning path specification can thus be used to both drive learning sessions carried out by simulation, and to inform a monitor that can assess learner’s progress. The goal is to combine work and learning in natural and effective way and use available business monitoring techniques to monitor the learning progress of the learners. In the paper we describe our specification, the e-learning platform under development, and the approach to derive monitoring rules. The approach is illustrated through a simple motivational example.
Download

Short Papers
Paper Nr: 5
Title:

Exploiting Vehicles’ Reputation to Mitigate DoS Attack

Authors:

Gianpiero Costantino, Fabio Martinelli and Ilaria Matteucci

Abstract: Recently the convergence of safety and security needs in automotive systems is one of the main challenges of the research community. However, the different nature of safety and security metrics suggests that no individual assessment technique is sufficient, in isolation, to validate large systems that are intended to be both safe and secure. The introduction of new generation ICT systems into vehicles makes them potentially vulnerable to security attacks that may impact on the safety of passengers, pedestrians, and vehicle itself. Hence, entities involved in a communication have to be evaluated trustable by means of specific mechanisms of the vehicle or infrastructure system. This work aims at proposing an algorithm for the calculation of reputation of vehicles in a Vehicular Ad Hoc Network (VANET) based on the type and number of exchanged messages. The ultimate goal is to mitigate the Denial of Service (DoS) attack in such kind of communication by acting as a firewall with respect to not trustable vehicles. Indeed, the DoS is a security attack that affects the availability of network bandwidth. This may have an impact on safety of drivers and vehicles since it may prevent the communication and spread of important information for, e.g., human life.
Download

Paper Nr: 10
Title:

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs

Authors:

Natalia Kushik, Nina Yevtushenko and Husnu Yenigun

Abstract: In this paper, we address the problem of setting a discrete system specified as a Finite State Machine (FSM) to a known initial state. As the system behavior can be nondeterministic, we discuss the complexity of problems related to deriving synchronizing sequences for nondeterministic FSMs and propose a way for decreasing such complexity. In fact, we suggest to use adaptive synchronizing sequences instead of preset ones, and prove that for non-initialized nondeterministic FSMs the problem of checking the existence of an adaptive synchronizing sequence is in P.
Download