Why do we need formal specification? Discuss behavioral specification in detail.

-

 We need formal specification because:-

-  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.
 
Behavioral specification
- Behavioral specification describes constraints on the behavior of the implementation.
- Example:- functionality, safety, security, performances.
- Algebraic specification can cumbersome when the object operations are not independent of the object state.
- Model-based specification exposes the system state and defines the operations in terms of changes to that state.
- The Z notation is a mature technique for model-based specification. It combines formal and informal descriptions and uses graphical highlighting when presenting specifications.
       
Types of Behavioral Specification
 There are 4 types of behavioral specification, they are given below:-

a) Abstract Model Specification
- Defines operation in terms of a well-defined mathematical model.

b)Algebraic Specification
-Defines operations by a collection of equivalence relations.

c) State transition Specification
- Defines operation in terms of state and transitions.
 
d) Axiomatic Specification
-Defines operation by logical assertions

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

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

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