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

Suppose that a data warehouse consists of the four dimensions; date, spectator, location, and game, and the two measures, count and charge, where charge is the fee that a spectator pays when watching a game on a given date. Spectators may be students, adults, or seniors, with each category having its own charge rate. a) Draw a star schema diagram for the data b) Starting with the base cuboid [date; spectator; location; game], what specific OLAP operations should perform in order to list the total charge paid by student spectators at GM Place in 2004?

-
Image
  b) The specific OLAP operations to be performed are: 1. Roll-up on date from date id to year. 2. Roll-up on spectator from spectator id to status. 3. Roll-up on location from location id to location name. 4. Roll-up on the game from game id to all. 5. Dice with status= “students”, location name= “GM Place”, and year=2004
Read more

Define Business ethics . Explain its significance.

-
Image
Business ethics   Business ethics are moral principles that guide the way a business behaves, wrong Acting in an ethical way involves distinguishing between right and then making the right choice. Business ethics are applied or professional ethics. They may take the form of actions within written and unwritten codes of principles, and values and are determined by an organization's culture. They largely govern the decisions in the organization. However, determining what practices are ethical or not is more difficult since the lines between ethical and unethical can become blurred. The following are some of the notable definitions of business ethics Decenzo & Robbins Ethics commonly refers to a set of rules or principles that defined right and wrong conduct. Ricky W. Griffin Ethics is an individual's personal beliefs about whether a behavior, action o decision is right or wrong. Managerial ethics are the standard of behavior the guides individual managers in their work. Clara...
Read more

Short Note on Security Architecture of E-governance

-
Image
 Security Architecture The security architecture of E-governance is a high-level document that sets the security goals of the e-governance project and describes the procedure that needs to be followed by all the e-governance hierarchies such as users, businesses, operators, etc. An appropriate legal framework is absolutely essential for the systematic and sustained growth of e-governance. Protection of Public Order and Decency  The internet is highly capable of being a saturated and versatile medium at the same time. Its reach is very vast and due to its multimedia capability, its impact can be immediate and profound. So the government has to beware of its potential to create a negative impact on society through the promotion of terrorism, pornography, communalism, violence, etc. Section 67 of the IT Act 2000 of India makes it a punishable offense to “publish or transmit or cause to be published it the electronic form, a material which is lascivious or appeals to the prurient ...
Read more