Title: Using Formal Languages to Elicit Requirements for Healthcare Blockchain Applications
Abstract: Specifying requirements for complex systems has an important role during software development. At times, the importance of the specification stage gets neglected by software engineers while developing software systems. Software engineering life cycle models are improved for better software quality and reliability. Even though powerful implementation strategies exist, if the requirements of a system to be developed are unclear and not specified properly, then the product can fail to satisfy user needs. Traditional methods use natural language for specifying the requirements of the software systems. The use of formal specifications to specify software systems remains a challenging research problem that needs to be addressed. In this research effort, several healthcare applications that are implemented using Blockchain are studied. Blockchain is a recent invention that uses the idea of decentralization to enforce security. Such applications come with complexity and specifying requirements for such systems using formal specification languages gets even more challenging. The challenges involved in writing formal specifications for such complex applications has been studied in this research effort. The Descartes specification language, a formal executable formal specification language, is used to specify the blockchain healthcare applications under study. Case study examples are used to illustrate the specification of Blockchain healthcare application requirements using the Descartes specification language.
Publication Year: 2019
Publication Date: 2019-10-13
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot