Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)

2014 ◽  
Vol 24 (02) ◽  
pp. 285-327
Author(s):  
Cyrille Dongmo ◽  
John Andrew van der Poll
Keyword(s):  
Formal Specification ◽  
Intermediate Step ◽  
User Requirements ◽  
Use Case ◽  
System Behavior ◽  
Natural Languages ◽  
Requirements Definition ◽  
Use Case Maps ◽  
Definition Of ◽  
Visual Notation

A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from a set of use cases normally expressed in natural language. Natural languages are, however, inherently ambiguous and as a semi-formal notation, UCMs have the potential to bring more clarity into the functional description of a system. It may furthermore eliminate possible errors in the user requirements. The semi-formal notation of UCMs aims to show how things work generally, but is not suitable to reason formally about system behavior. It is plausible, therefore, that the use of a UCM as an intermediate step may facilitate the construction of a formal specification. To this end this paper proposes a mechanism whereby a UCM may be translated into Object-Z.

scholarly journals Concise Definition of Aviation PNT User Requirements Based on OFD

2020 ◽  
Vol 198 ◽  
pp. 04012
Author(s):  
Yan Wang ◽  
Wei Zhao ◽  
Su Yu ◽  
YangHe Shen
Keyword(s):  
Quality Function Deployment ◽  
Research Work ◽  
Development Trend ◽  
User Requirements ◽  
House Of Quality ◽  
Requirements Definition ◽  
Whole Process ◽  
Quality Framework ◽  
Definition Of ◽  
Concise Definition

Definition of aviation is the core of PNT system requirements analysis and research, The quality of PNT user requirements definition will directly affect the scientificity and effectiveness of other research work of the system, QFD(Quality Function Deployment) is a systematic technical method and management method. In the process of product development, all activities are driven by users’ needs. QFD has been widely used in manufacturing, industrial and commercial military fields, and achieved great results. House of quality(HOQ) is the basic tool for establishing QFD system and essence of OFD method. The typical house of quality framework and analytical solution method can be used not only in the development process of new products, but also in the whole process of analysis in other fields. In this paper, aiming at the concise definition of PNT user requirements, QFD technology is used to build QFD model of PNT user requirements and PNT system technology based on the analysis of existing PNT information requirements and future aviation navigation development trend. In order to facilitate the analysis and simplify the approach of aviation navigation as the user requirements, and GNSS, SBAS, DEM, VOR, NDB, ILS and GBAS as the main system technologies. Finally, the technical quality house model of PNT system of aviation navigation task is given, so as to complete the concise definition of PNT user requirements of aviation users.

Operating system scenarios as Use Case Maps

2004 ◽  
Vol 29 (1) ◽  
pp. 266-277 ◽  
Author(s):  
Edward A. Billard
Keyword(s):  
Operating System ◽  
Use Case ◽  
Use Case Maps

scholarly journals European Loans and Visits System (ELViS) as a Use Case for a Collection Descriptions Standard

2020 ◽  
Vol 4 ◽  
Author(s):  
Sharif Islam
Keyword(s):  
Data Model ◽  
User Requirements ◽  
Use Case ◽  
Current Development ◽  
Heterogeneous Datasets ◽  
Application Programming ◽  
Data Elements ◽  
Programming Interfaces ◽  
Improve Access ◽  
Insight Into

The European Loans and Visits System (ELViS) is an e-service in development designed to improve access to natural history collections across Europe. Bringing together heterogeneous datasets about institutions, people, collections and specimens, ELViS will provide an e-service (with application programming interfaces (APIs) and portal) that handles various stages of collections-based research. One of the main functionalities of ELViS is to facilitate loan and visit requests related to collections. To facilitate activities such as searching for collections, requesting loans, generating reports on collection usage, and ensuring interoperability with existing and new systems and services, ELViS must use a standard way of describing collections. In this talk, I show how ELViS can use the Collection Descriptions (CD) standard currently being developed by the CD Task Group at TDWG. I will provide a brief introduction to ELViS, summarise the current development efforts, and show how the Collection Description standard can support specific user requirements (gathered via an extensive set of user stories). I will also provide insight into the data elements within ELViS (see Fig. 1) and how they relate to the Collection Description data model.

scholarly journals Structural model of forest ecosystem services’ payment for water quality improvement

2019 ◽  
pp. 238-245
Author(s):  
Mariyana Lybenova ◽  
Alexandre Chikalanov ◽  
Yulian Petkov
Keyword(s):  
Quality Improvement ◽  
Ecosystem Services ◽  
Structural Model ◽  
Use Case ◽  
Forest Ecosystem Services ◽  
Payment Schemes ◽  
Structured Information ◽  
Definition Of ◽  
Meta Analyses ◽  
Web Platform

The publication deals with the development of a structural model of payment schemes for ecosystem services (PES) oriented to usage of forests for water, soil and microclimate quality improvement. Proposed structural model is built on the Meta analyses base of more than 50 PES schemes worldwide. The proposed structural model has three top down levels – groups of categories, categories and attributes. There are seven groups of categories, 17 categories and more than 120 attributes. The structured information about studied PES schemes is stored in a warehouse managed by unique web platform created by the authors. An important part presented study is the developed generic use case of PES schemes with definition of seven participated actors.

scholarly journals Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern

2020 ◽  
Vol 29 (03) ◽  
pp. 2050002
Author(s):  
Jacques Simonin ◽  
Pierre-Yves Pillain ◽  
Didier Guériot ◽  
Johanne Vincent
Keyword(s):  
Information System ◽  
Service System ◽  
Use Case ◽  
Business Services ◽  
Service Architecture ◽  
Strong Constraint ◽  
System Service ◽  
Architecture Pattern ◽  
Definition Of ◽  
Logical Architecture

The generation and design of the service architecture of an information system is complex. It depends more on the vision of the service than on the vision of the service inside an information system. An information system is indeed a system of services that can contain thousands of services. The lack of consideration of constraints imposed by the information system makes it difficult to reuse these services. Another strong constraint is that an information system service must support a business service. The proposed approach allows information system services to be generated in accordance with the business services specification and their logical architecture to be automatically designed by respecting a logical architecture pattern of the system-of-services. An information system services generation algorithm allows being consistent with the logical architecture pattern during this generation. The definition of coherence and coupling properties makes it possible to evaluate the relevancy of the system-of-services. A use case shows the value of these properties in making the logical architecture of the service system more relevant to business services.

Software Requirements Definition Processes in Gamification Development for Immersive Environments

2021 ◽  
pp. 68-78
Author(s):  
Paulo Veloso Gomes ◽  
João Donga ◽  
Vítor J. Sá
Keyword(s):  
Mental Healthcare ◽  
Actor Network Theory ◽  
The Other ◽  
Software Requirements ◽  
Health Conditions ◽  
Immersive Environments ◽  
Requirements Definition ◽  
Definition Of ◽  
Healthcare Associated ◽  
Multidimensional Process

The implementation of gamification in immersive environments is a complex and multidimensional process. A socio-technical approach is necessary to cover all the specifications that the system needs to satisfy the needs and the purpose of its genesis. The use of virtual reality (VR) technologies in mental healthcare associated with gamification mechanisms has been gaining popularity. Two projects were developed using VR, one that allows people to experience and better understand mental health conditions through empathy construct and the other can be used to help patients with social phobia or Arachnophobia to reduce their phobias using VR solutions and real-time biofeedback. The authors analyze the aspects that influence the development of immersive environments and gamification mechanisms and propose a socio-technical methodology based on actor-network theory for the survey and definition of requirements.

Timed Use Case Maps

2006 ◽  
pp. 99-114 ◽  
Author(s):  
Jameleddine Hassine ◽  
Juergen Rilling ◽  
Rachida Dssouli
Keyword(s):  
Use Case ◽  
Use Case Maps
Sign in / Sign up

Export Citation Format

Share Document