What do you mean by formal specification? Explain.

-

- Formal specification is a part of a more general collection of techniques that are known as the "formal method".

Example:- COMP313"Formal methods" (These are all based on the mathematical representation and analysis of software.)

- Formal methods include :

  • Formal specification
  • Specification analysis and proof 
  • Transformation development
  • Program verification
Types of formal specification 
a) Behavioral Specification
- Behavioral specification describes constraints on the behavior of the implementation.
- Example:- functionality, safety, security, performance, etc
 
b) Structural specification 
- It describes constraints on the internal composition of implementation.
- Example:- Module interconnection, dependence relation

Importance of Formal Specification
-  Formal Specification involves investing more effort in the early phases of software development.
 - To explain why formal specification techniques help to discover problems in system requirements.
- To describe the use of:-
  ° algebraic technique(for interface specification) &
  °  model-based techniques( for behavioral specification)
- To introduced Abstract State Machine Model(ASMM)
- Formal Specification reduces requirements error as it forces a detailed analysis of the requirements.
 

Comments

Post a Comment

Popular posts from this blog

What is the cloud cube model? Explain in context to the Jericho cloud cube model along with its various dimensions.

-
Image
Cloud Cube model   The Cloud Cube model helps classify a four-dimensional factor cloud network. Its concentration is on protecting and safeguarding the cloud network. This cloud cube model lets you securely pick cloud formation. This model serves to provide a safe and secured Internet network for IT administrators enterprises, and business leaders. Jericho cloud cube model  Jericho Forum is an international independent group of information security leaders & their focus is on how to protect and secure cloud networks. They put forward a model that helps to categorize a cloud network based on four-dimensional factors. The Jericho Cloud Cube Model describes the multidimensional elements of cloud computing, framing not only cloud use cases, but also how they are deployed and used. The Cloud Cube Model, established and developed by the Jericho Forum, assists in categorizing cloud networks based on four dimensions: Internal/External Proprietary/Open Perimeterised/De-perimet...
Read more

Explain cloud computing reference model .

-
Image
 CLOUD COMPUTING REFERENCE MODEL The cloud computing reference model is a general high-level architecture and is meant for a cloud computing reference architecture provided, which outlines the primary performer/actor and the understanding of the cloud computing needs, uses, features, and standards. An overview of the NIST primary players, as indicated in the figure below. Each performer is an entity that might be a person or a cloud computing activity and role. The NIST cloud computing reference architecture identifies five organization that takes part in a transaction or process and complete duties in cloud computing. 1. Cloud consumer:  The cloud consumer is the cloud computing service's most significant stakeholder. A cloud consumer is a person or organization who has a commercial connection with a cloud provider and consumes its services. A cloud consumer browses a cloud provider's service catalog, requests the right service, establishes service contracts with the cloud pr...
Read more

Discuss classification or taxonomy of virtualization at different levels.

-
Image
Taxonomy of virtualization Virtualization is mainly used to emulate the execution environment, storage, and networks. The execution environment is classified into two: – Process-level – implemented on top of an existing operating system.  – System-level – implemented directly on hardware and does not or minimum requirement of the existing operating system. OR,  Virtualization covers a wide range of emulation techniques that are applied to different areas of computing. A classification of these techniques helps us better understand their characteristics and use  V irtualization is mainly used to emulate  ● Execution Environments: To provide support for the execution of the programs eg. OS, and Application.  ○ Process Level: Implemented on top of an existing OS that has full control of the hardware  ○ System Level: Implemented directly on Hardware and do not require support from existing OS.  ● Storage: Storage vi...
Read more