REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart

Author(s):  
Zuohua Ding ◽  
Tiantian Shuai ◽  
Mingyue Jiang
Sensors ◽  
2021 ◽  
Vol 21 (11) ◽  
pp. 3783
Author(s):  
Sumbal Malik ◽  
Manzoor Ahmed Khan ◽  
Hesham El-Sayed

Sooner than expected, roads will be populated with a plethora of connected and autonomous vehicles serving diverse mobility needs. Rather than being stand-alone, vehicles will be required to cooperate and coordinate with each other, referred to as cooperative driving executing the mobility tasks properly. Cooperative driving leverages Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2I) communication technologies aiming to carry out cooperative functionalities: (i) cooperative sensing and (ii) cooperative maneuvering. To better equip the readers with background knowledge on the topic, we firstly provide the detailed taxonomy section describing the underlying concepts and various aspects of cooperation in cooperative driving. In this survey, we review the current solution approaches in cooperation for autonomous vehicles, based on various cooperative driving applications, i.e., smart car parking, lane change and merge, intersection management, and platooning. The role and functionality of such cooperation become more crucial in platooning use-cases, which is why we also focus on providing more details of platooning use-cases and focus on one of the challenges, electing a leader in high-level platooning. Following, we highlight a crucial range of research gaps and open challenges that need to be addressed before cooperative autonomous vehicles hit the roads. We believe that this survey will assist the researchers in better understanding vehicular cooperation, its various scenarios, solution approaches, and challenges.


Author(s):  
Amel Benabbou ◽  
Safia Nait-Bahloul

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.


2014 ◽  
Vol 14 (5) ◽  
pp. 898-908 ◽  
Author(s):  
D. Loureiro ◽  
P. Vieira ◽  
C. Makropoulos ◽  
P. Kossieris ◽  
R. Ribeiro ◽  
...  

Efficient water and energy use in water distribution systems is being limited by the lack of sufficient data about water and related energy consumption. Therefore, it is crucial to provide updated and continuous feedback information to water users. This paper describes relevant use cases to improve efficient water use and related energy consumption by water utilities and consumers through the use of smart metering technologies. A systematic approach was established to obtain a comprehensive list of possible functionalities, using the concept of use case. For the consumer domain, six high-level and 18 detailed-level use cases were obtained. For the water utility domain, seven high-level and 20 detailed-level use cases were described. The high-level use cases with higher priority to be implemented in the iWIDGET system were also identified based on the contribution of different target audiences. The list of use cases covers a comprehensive range of possible usages that can be built upon the exploitation of data related to water and energy use in water distribution systems and in households, which may be of further use as a guide for similar studies.


2020 ◽  
Vol 30 (2) ◽  
pp. 221-239
Author(s):  
Thomas Sødring ◽  
Petter Reinholdtsen ◽  
David Massey

Purpose Particular attention to the issue of information management will be required to meet the expected growth in IoT-devices and the data they generate. As government agencies start collecting and using such information, they must also deal with the issue of privacy, to comply with laws and regulations. The approach discussed here shows that record-keeping principles may form part of a solution to the issue of managing IoT-data for government agencies. Design/methodology/approach This study uses the generally accepted record-keeping principles as a basis for a high-level discussion on how IoT-data can be managed. This is followed by a presentation and discussion on how the Norwegian record-keeping standard, Noark, can be extended to highlight practical issues. Findings Record keeping has principles that are relevant to the management of IoT-data. Further an implementation of the chosen use-cases is possible based on an existing record keeping standard. Record keeping is one of many information science approaches that can manage IoT-data. Research limitations/implications The main limitations are that the discussion cannot cover all types of IoT-devices, nor can all issues be captured with a limited choice of examples. The results should be seen within the context of the types of devices discussed and limited to the chosen use-cases. However, the level of abstraction used means the results may be applicable to similar scenarios. Originality/value The approach shows that record-keeping principles may be used as an approach to manage IoT-data. This discussion is useful when compared with other information science approaches, e.g. big-data or semantic Web approaches. The practicalities of a record-keeping approach are also discussed and relevant strengths and weaknesses are showed.


2020 ◽  
Vol 10 (16) ◽  
pp. 5655
Author(s):  
Miguel Ángel de Miguel ◽  
Francisco Miguel Moreno ◽  
Pablo Marín-Plaza ◽  
Abdulla Al-Kaff ◽  
Martín Palos ◽  
...  

This work presents a novel platform for autonomous vehicle technologies research for the insurance sector. The platform has been collaboratively developed by the insurance company MAPFRE-CESVIMAP, Universidad Carlos III de Madrid and INSIA of the Universidad Politécnica de Madrid. The high-level architecture and several autonomous vehicle technologies developed using the framework of this collaboration are introduced and described in this work. Computer vision technologies for environment perception, V2X communication capabilities, enhanced localization, human–machine interaction and self awareness are among the technologies which have been developed and tested. Some use cases that validate the technologies presented in the platform are also presented; these use cases include public demonstrations, tests of the technologies and international competitions for self-driving technologies.


Author(s):  
Maarten Trekels ◽  
Matt Woodburn ◽  
Deborah L Paul ◽  
Sharon Grant ◽  
Kate Webbink ◽  
...  

Data standards allow us to aggregate, compare, compute and communicate data from a wide variety of origins. However, for historical reasons, data are most likely to be stored in many different formats and conform to different models. Every data set might contain a huge amount of information, but it becomes tremendously difficult to compare them without a common way to represent the data. That is when standards development jumps in. Developing a standard is a formidable process, often involving many stakeholders. Typically the initial blueprint of a standard is created by a limited number of people who have a clear view of their use cases. However, as development continues, additional stakeholders participate in the process. As a result, conflicting opinions and interests will influence the development of the standard. Compromises need to be made and the standard might look very different from the initial concept. In order to address the needs of the community, a high level of engagement in the development process is encouraged. However, this does not necessarily increase the usability of the standard. To mitigate this, there is a need to test the standard during the early stages of development. In order to facilitate this, we explored the use of Wikibase to create an initial implementation of the standard. Wikibase is the underlying technology that drives Wikidata. The software is open-source and can be customized for creating collaborative knowledge bases. In addition to containing an RDF (Resource Description Framework) triple store under the hood, it provides users with an easy-to-use graphical user interface (see Fig. 1). This facilitates the use of an implementation of a standard by non-technical users. The Wikibase remains fully flexible in the way data are represented and no data model is enforced. This allows users to map their data onto the standard without any restrictions. Retrieving information from RDF data can be done through the SPARQL query language (W3C 2020). The software package has also a built-in SPARQL endpoint, allowing users to extract the relevant information: Does the standard cover all use cases envisioned? Are parts of the standard underdeveloped? Are the controlled vocabularies sufficient to describe the data? Does the standard cover all use cases envisioned? Are parts of the standard underdeveloped? Are the controlled vocabularies sufficient to describe the data? This strategy was applied during the development of the TDWG Collection Description standard. After completing a rough version of the standard, the different terms that were defined in the first version were transferred to a Wikibase instance running on WBStack (Addshore 2020). Initially, collection data were entered manually, which revealed several issues. The Wikibase allowed us to easily define controlled vocabularies and expand them as needed. The feedback reported from users then flowed back to the further development of the standard. Currently we envisage creating automated scripts that will import data en masse from collections. Using the SPARQL query interface, it will then be straightforward to ensure that data can be extracted from the Wikibase to support the envisaged use cases.


2021 ◽  
Vol 7 (1) ◽  
Author(s):  
Martiño Rivera-Dourado ◽  
Marcos Gestal ◽  
Alejandro Pazos ◽  
José M. Vázquez-Naya

During the last few years, some of the most relevant IT companies have started to develop new authentication solutions which are not vulnerable to attacks like phishing. WebAuthn and FIDO authentication standards were designed to replace or complement the de facto and ubiquitous authentication method: username and password. This paper performs an analysis of the current implementations of these standards while testing and comparing these solutions in a high-level analysis, drawing the context of the adoption of these new standards and their integration with the existing systems, from web applications and services to different use cases on desktop and server operating systems.


Sensors ◽  
2020 ◽  
Vol 20 (22) ◽  
pp. 6520
Author(s):  
Raquel Fuentetaja ◽  
Angel García-Olaya ◽  
Javier García ◽  
José Carlos González ◽  
Fernando Fernández

Using Automated Planning for the high level control of robotic architectures is becoming very popular thanks mainly to its capability to define the tasks to perform in a declarative way. However, classical planning tasks, even in its basic standard Planning Domain Definition Language (PDDL) format, are still very hard to formalize for non expert engineers when the use case to model is complex. Human Robot Interaction (HRI) is one of those complex environments. This manuscript describes the rationale followed to design a planning model able to control social autonomous robots interacting with humans. It is the result of the authors’ experience in modeling use cases for Social Assistive Robotics (SAR) in two areas related to healthcare: Comprehensive Geriatric Assessment (CGA) and non-contact rehabilitation therapies for patients with physical impairments. In this work a general definition of these two use cases in a unique planning domain is proposed, which favors the management and integration with the software robotic architecture, as well as the addition of new use cases. Results show that the model is able to capture all the relevant aspects of the Human-Robot interaction in those scenarios, allowing the robot to autonomously perform the tasks by using a standard planning-execution architecture.


Sign in / Sign up

Export Citation Format

Share Document