SlideShare a Scribd company logo
1 of 11
Download to read offline
EDUCATION HOLE PRESENTS
OBJECT ORIENTED SYSTEMS
Unit-III
Functional Modeling................................................................................................................ 2
Data flow diagram.................................................................................................................................................3
Specifying operations.......................................................................................................................4
(i) Identifying input and output values .................................................................................................................4
(ii) Building DFD ....................................................................................................................................................4
iii) Describing Functions........................................................................................................................................5
(iv)Identify constraints between objects ..............................................................................................................5
(v) Specifying Optimization criteria.......................................................................................................................5
A sample functional model ...................................................................................................... 6
OMT (object modeling techniques) methodologies ..........................................................................6
Phases of OMT......................................................................................................................................................7
Analysis.............................................................................................................................................................7
Design .................................................................................................................................................................10
Case studies to demonstrate methodologies ......................................................................... 10
Comparisons of methodologies..........................................................................................................................10
1. Comparisons with SA/SD ............................................................................................................................10
2. Comparisons with JSD: JSD has a different life cycle..................................................................................11
Principles of operation........................................................................................................................................11
Functional Modeling
The functional model shows how the input and output values of a program are derived. It does
this using data flow diagrams (DFD). A DFD is a networked view of the system which
represents the program’s calculations. DFDs are made up of processes, data flows, actors and
data sources. A process which is drawn as an ellipse, changes the input values into output
values. The processes in the DFD correspond to the operations in the object model. A data flow,
represented as an arrow, illustrates the flow of data through a series of connected processes.
Data flows starts and finishes at a process, actor or data store. Actors are objects and are
represented as rectangles located at the edge of the DFD. Actors can be either sources or sinks
of data. Data stores are depicted as parallel lines and provide a location for the temporary
storage of data. A functional modeling perspective concentrates on describing the dynamic
process. The main concept in this modeling perspective is the process; this could be a function,
transformation, activity, action, task etc. A well-known example of a modeling language
employing this perspective is data flow diagrams. The perspective uses four symbols to describe
a process, these being:
• Process: Illustrates transformation from input to output.
• Store: Data-collection or some sort of material.
• Flow: Movement of data or material in the process.
• External Entity: External to the modeled system, but interacts with it.
Now, with these symbols, a process can be represented as a network of these symbols. This
decomposed process is a DFD, data flow diagram.
Data flow diagram
A data flow diagram (DFD) is a graphical representation of the "flow" of data through an
information system, modeling its process aspects. Often they are a preliminary step used to
create an overview of the system which can later be elaborated. DFDs can also be used for the
visualization of data processing (structured design). A DFD shows what kinds of information
will be input to and output from the system, where the data will come from and go to, and where
the data will be stored. It does not show information about the timing of processes, or
information about whether processes will operate in sequence or in parallel (which is shown on a
flowchart). Data flow diagrams follow the rules of abstraction. First a top level DFD is drawn.
Each of the processes identified are continually broken up until they reach a level where no
further decomposition can occur. At this stage each process can represent a class method. As a
result of this decomposition DFD’s are drawn as a series of diagrams. A top level data flow
diagram is drawn first fig 4.6, it can be seen that the input and output values start and end with an
external source i.e. the user. The generate results process can be further decomposed as shown.
During analysis three models of the system were created; the object model, the dynamic model
and the functional model. These models along with the problem statement make up the analysis
of the project.
Specifying operations
(i) Identifying input and output values
List input and output values. The input and output values are parameters of events between
system and outside world. Find any input or output values missed.
(ii) Building DFD
Now construct a DFD, show each output value is completed from input values. A DFD is usually
constructed in layers. The top layer may consist of a single process, or perhaps one process to
gather inputs, compute values, and generate outputs. Within each dfd layer, work backward from
each output value to determine the function that computes it. If the inputs are operations are all
inputs of the entire diagram, you are done; otherwise some of the operation inputs are
intermediate values that must be traced backward in turn. You can also trace forward from inputs
to outputs, but it is usually harder to identify all users of an input, than to identify all the sources
of an output.
• Expand each non trivial process in the top level DFD into a lower level DFD.
• Most systems contain internal storage objects that retain values between iterations. An
internal store can be distinguished from a data flow or a process because it receives
values that don’t result in immediate outputs but are used at some distant time in the
future.
• The DFD show only dependencies among operations. They don’t show decisions.(control
flows)
iii) Describing Functions
When the dfd has been refined enough, write a description of each function. The description can
be in natural language, mathematical equations, pseudo code, decision tables, or some
appropriate form.
• Focus on what the function does, and not how it is implemented.
• The description can be declarative or procedural.
• A declarative description specifies the relationships between input and output values and
the relationships among output values.
For example, “sort and remove duplicate values”
Declarative: “Every value in the input list appears exactly once in the output list, and the values
in the output list are in strictly increasing order.”
Procedural:-specifies function by giving an algorithm to compute it. The purpose of the
algorithm is only to specify what the function does.
A declarative description is preferable; they don’t imply implementation but if procedural is easy
it should be used.
(iv)Identify constraints between objects
Identify constraints between objects. Constraints are functional dependencies between objects
that are not related by an input output dependency. Constraints can be on two objects at the same
time, between instances of the same object at different times (an invariant) or between instances
of different object at different times.
 Preconditions on functions are constraints that the input values must satisfy.
 Post conditions are constraints that the output values are guaranteed to hold.
 State the times or conditions under which the constraints hold.
(v) Specifying Optimization criteria
Specify values to be maximized, minimized or optimized. If there is several optimization criteria
that conflict, indicate how the trade-off is to be decided.
A sample functional model
Functional model specifies the result of a computation without specifying when or how they are
computed. The Data Flow Diagram (DFD) is used to model the processes involved in the system.
OMT (object modeling techniques) methodologies
During the early phases of this research, focus was on the acquisition of knowledge which is
considered to be the most difficult task in the development of a KBS system. A more general
approach based on the Object Oriented paradigm was used in systems design. Several
methodologies were examined but the most rational and more logical choice was the Object
Modeling Technique by [Rumbaing 1991]. This approach was also used by numerous
researchers in CIM related projects [Ito 1993]. The OMT approach models real world objects.
Instead of thinking about computer implementation, algorithm or techniques, focus is on real
world objects that comprise the system. This includes the behavior of objects and relationships
between objects. How and why objects behave in a particular manner during certain situations
are explicitly defined. The representation of such objects contains both data and behavior in the
form of attributes and methods. The OMT has a three phase development process consisting of
analysis, design and implementation. The analysis phase revolves around building a model of
the real-world that specifies what the system must do. Objects in the analysis phase are objects
that actually exist in the application and not computer implementations. What is defined are the
objects and relationships that define the system. If the objects belong to particular class, then
such class is defined. Relationships are always defined between objects and can consist of
objects themselves. Attributes and methods complete the description of the object. The design
phase includes both System and Object design. In this phase, sub-systems are organized based on
the results of analysis. In system design, resources are allocated, performances that must be
optimized are established and strategies are decided. Objects include both the data structures and
algorithms that must be implemented. Implementation covers the translation of results of the
analysis and design phases into a particular programming language. Object Oriented systems
such as Smalltalk, C++, Eiffel, Objective C, are commonly used for implementation. General
purpose programming languages can also be used but some difficulty is encountered in installing
object oriented features such as inheritance, encapsulation, polymorphism and object behavior
mechanisms. In this research, much of the focus was on the analysis phase and the determination
of important domain objects and classes. Paragraph was used as the language and the Object
Oriented Design techniques used in OMT proved to be directly implementable by its structure.
This made unnecessary involved design and implementation activities for the problem. In this
regard the following explanation focused on the analysis methodology of OMT.
Phases of OMT
Analysis
There are three models produced in the analysis phase of OMT:
1. Object model describes the static structure of the system and consists of representations of the
object as it exists in the real world. Objects are modeled by means of Object Diagrams which
may be represented as hierarchies or networks. Objects can belong to a class such that they are
instances of the class or are components of a collection under the class. Included with each
object are variables and methods or operations that the object performs. Objects are related to
each other by means of links or associations which may be other objects. Aggregation or the has-
a relationship, inheritance and generalization or the is-a relationship were used for classifying
and grouping objects.
2. Dynamic model describes aspects of the system that changes over time. This is represented by
a State Transition Diagram (STD) that describes events and states of the system. Other tools such
as the Event Trace and Event Flow Diagram could also be used to describe the dynamic model.
3. Functional model specifies the result of a computation without specifying when or how they
are computed. The Data Flow Diagram (DFD) is used to model the processes involved in the
system.
Actual OMT modeling and design was conducted only on the knowledge acquisition systems
developed because the approach was more general in nature and the specific knowledge required
for the task was not yet determined. Objects included in the system are represented by squares.
Relationships between objects are shown by lines. The generalization relationship is represented
by a triangle to designate an in-a or class-based relationship. Filled circles indicate many (e.g.
many sources of expertise, many knowledge bases, etc.) while the default is 1 (ordinary line ends
point). Aggregation or the "has-a" relationship is represented by a diamond and is included in
the figure to show the components of knowledge acquisition and knowledge base development.
There were two systems developed using the OMT technique, the Select Tool and the Geometry
Acquisition Tool. In the following chapters, the object, dynamic and functional models for each
system are discussed in more detail but the Object Model that includes both systems is shown in
Figure 4.1.
Figure 4.1 The OMT view of KBS development.
The dynamical model for the knowledge acquisition phase is represented by a State Transition
Diagram where the nodes or round figures represent states of the system. States are represented
in terms of object or attribute states. States represent conditions of the attributes and are the
result of an event represented by lines. An event is something that happens sometime. In this
case, it was broadened to include not only user events but also system activities that result in
different conditions for objects included in the system. The general or upper level dynamic
model for knowledge acquisition is shown.
Figure 4.2 Dynamic models of knowledge acquisition and KBS development.
The Functional model specifies what happens in the system. It is represented by Data Flow
Diagrams (DFDs) which shows the relationships of values resulting from system activities. Oval
figures represent processes or tasks that require an input and produce an output. Square figures
represent external agents or "actors" that produce or use data. Data stores, represented by two
lines, are objects that store data without doing anything. Lines connecting the components
represent the flow of data from one figure to the other. A simple Functional Model for the
knowledge acquisition process is described in Figure 4.3.
Figure 4.3 Functional model of knowledge acquisition.
Design
The design phase includes the strategy for building the solution to the problem. In this phase, the
system architecture is established and subsystems are allocated to software and hardware
components. The focus on this phase is on how to solve the problem. Algorithms, data types and
implementation decisions and details are added to determine how each described class, instant or
function operates and behaves. The components necessary to achieve the desired behavior are
assembled in this phase. Both programs developed were implemented in Paragraph.
Case studies to demonstrate methodologies
Comparisons of methodologies
There are several popular software engineering approaches for developing the software. And the
most of the approaches and based on the data flow diagrams. Two approaches to compare with
OMT, which are :
1. Structured analysis / structured Design (SA/SD)
2. Jackson Structured Design (JSD)
1. Comparisons with SA/SD: SA/SD methodology contains much common features as
OMT both methodology use similar modeling constructs and support the three orthogonal views
of a system. It includes a variety of notations for formally specifying software.
a. In SA/SD approached the functional model dominates, the dynamic model is next important ,
and the object model least important.
b. SA/SD organizes a system around procedures, while OMT organizes a system around real
world objects.
c. SA/SD is useful for problems where functions are more important and complex than data. d.
An SA/SD design has a clearly – designed system boundary.
2. Comparisons with JSD: JSD has a different life cycle.
JSD is the approaches where JSD does not discuss between analysis and design phases.
JSD software development consists of six steps:
• Entity action
• Entity structure
• Initial model
• Function
• System timing
• Implementation JSD approach uses graphical models but JSD is less graphically oriented
then SA/SD and OMT.
JSD
• JSD approach is complex.
• JSD places more emphasis on action and less on attributes that OMT.
• Jackson system development (JSD) is a linear software development methodology
developed by Michael A. Jackson and John Cameron in the 1980s.
Principles of operation
Three basic principles of operation of JSD is that:
• Development must start with describing and modelling the real world, rather than
specifying or structuring the function performed by the system. A system made using
JSD method performs the simulation of the real world before any direct attention is paid
to function or purpose of the system.
• An adequate model of a time-ordered world must itself be time-ordered. Main aim is to
map progress in the real world on progress in the system that models it.
• The way of implementing the system is based on transformation of specification into
efficient set of processes. These processes should be designed in such a manner that it
would be possible to run them on available software and hardware.

More Related Content

What's hot

MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace Data
MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace DataMPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace Data
MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace DataIRJET Journal
 
A02610104
A02610104A02610104
A02610104theijes
 
Nose Dive into Apache Spark ML
Nose Dive into Apache Spark MLNose Dive into Apache Spark ML
Nose Dive into Apache Spark MLAhmet Bulut
 
A report on designing a model for improving CPU Scheduling by using Machine L...
A report on designing a model for improving CPU Scheduling by using Machine L...A report on designing a model for improving CPU Scheduling by using Machine L...
A report on designing a model for improving CPU Scheduling by using Machine L...MuskanRath1
 
Query processing-and-optimization
Query processing-and-optimizationQuery processing-and-optimization
Query processing-and-optimizationWBUTTUTORIALS
 
ADS Introduction
ADS IntroductionADS Introduction
ADS IntroductionNagendraK18
 
An Interval Type-2 Fuzzy Approach for Process Plan Selection
	An Interval Type-2 Fuzzy Approach for Process Plan Selection	An Interval Type-2 Fuzzy Approach for Process Plan Selection
An Interval Type-2 Fuzzy Approach for Process Plan Selectioninventionjournals
 
What is ETL testing & how to enforce it in Data Wharehouse
What is ETL testing & how to enforce it in Data WharehouseWhat is ETL testing & how to enforce it in Data Wharehouse
What is ETL testing & how to enforce it in Data WharehouseBugRaptors
 
Review on Sorting Algorithms A Comparative Study
Review on Sorting Algorithms A Comparative StudyReview on Sorting Algorithms A Comparative Study
Review on Sorting Algorithms A Comparative StudyCSCJournals
 
Z OS IBM Utilities
Z OS IBM UtilitiesZ OS IBM Utilities
Z OS IBM Utilitieskapa rohit
 
DBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlDBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlMukesh Tekwani
 
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systems
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systemsIjiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systems
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systemsIJIR JOURNALS IJIRUSA
 
Query processing and optimization (updated)
Query processing and optimization (updated)Query processing and optimization (updated)
Query processing and optimization (updated)Ravinder Kamboj
 
Query Decomposition and data localization
Query Decomposition and data localization Query Decomposition and data localization
Query Decomposition and data localization Hafiz faiz
 
Data Structure and Algorithms
Data Structure and AlgorithmsData Structure and Algorithms
Data Structure and Algorithmsiqbalphy1
 
Etl process in data warehouse
Etl process in data warehouseEtl process in data warehouse
Etl process in data warehouseKomal Choudhary
 
New Directions in Mahout's Recommenders
New Directions in Mahout's RecommendersNew Directions in Mahout's Recommenders
New Directions in Mahout's Recommenderssscdotopen
 
Branch And Bound and Beam Search Feature Selection Algorithms
Branch And Bound and Beam Search Feature Selection AlgorithmsBranch And Bound and Beam Search Feature Selection Algorithms
Branch And Bound and Beam Search Feature Selection AlgorithmsChamin Nalinda Loku Gam Hewage
 

What's hot (20)

Jcl faqs
Jcl faqsJcl faqs
Jcl faqs
 
MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace Data
MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace DataMPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace Data
MPSKM Algorithm to Cluster Uneven Dimensional Time Series Subspace Data
 
Ooad sequence diagram lecture
Ooad sequence diagram lectureOoad sequence diagram lecture
Ooad sequence diagram lecture
 
A02610104
A02610104A02610104
A02610104
 
Nose Dive into Apache Spark ML
Nose Dive into Apache Spark MLNose Dive into Apache Spark ML
Nose Dive into Apache Spark ML
 
A report on designing a model for improving CPU Scheduling by using Machine L...
A report on designing a model for improving CPU Scheduling by using Machine L...A report on designing a model for improving CPU Scheduling by using Machine L...
A report on designing a model for improving CPU Scheduling by using Machine L...
 
Query processing-and-optimization
Query processing-and-optimizationQuery processing-and-optimization
Query processing-and-optimization
 
ADS Introduction
ADS IntroductionADS Introduction
ADS Introduction
 
An Interval Type-2 Fuzzy Approach for Process Plan Selection
	An Interval Type-2 Fuzzy Approach for Process Plan Selection	An Interval Type-2 Fuzzy Approach for Process Plan Selection
An Interval Type-2 Fuzzy Approach for Process Plan Selection
 
What is ETL testing & how to enforce it in Data Wharehouse
What is ETL testing & how to enforce it in Data WharehouseWhat is ETL testing & how to enforce it in Data Wharehouse
What is ETL testing & how to enforce it in Data Wharehouse
 
Review on Sorting Algorithms A Comparative Study
Review on Sorting Algorithms A Comparative StudyReview on Sorting Algorithms A Comparative Study
Review on Sorting Algorithms A Comparative Study
 
Z OS IBM Utilities
Z OS IBM UtilitiesZ OS IBM Utilities
Z OS IBM Utilities
 
DBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlDBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency Control
 
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systems
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systemsIjiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systems
Ijiret ashwini-kc-deadlock-detection-in-homogeneous-distributed-database-systems
 
Query processing and optimization (updated)
Query processing and optimization (updated)Query processing and optimization (updated)
Query processing and optimization (updated)
 
Query Decomposition and data localization
Query Decomposition and data localization Query Decomposition and data localization
Query Decomposition and data localization
 
Data Structure and Algorithms
Data Structure and AlgorithmsData Structure and Algorithms
Data Structure and Algorithms
 
Etl process in data warehouse
Etl process in data warehouseEtl process in data warehouse
Etl process in data warehouse
 
New Directions in Mahout's Recommenders
New Directions in Mahout's RecommendersNew Directions in Mahout's Recommenders
New Directions in Mahout's Recommenders
 
Branch And Bound and Beam Search Feature Selection Algorithms
Branch And Bound and Beam Search Feature Selection AlgorithmsBranch And Bound and Beam Search Feature Selection Algorithms
Branch And Bound and Beam Search Feature Selection Algorithms
 

Similar to Free ebooks download ! Edhole

SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptx
SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptxSE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptx
SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptxAmr E. Mohamed
 
Df dtutorial
Df dtutorialDf dtutorial
Df dtutorialAlex Ali
 
Software engg. pressman_ch-8
Software engg. pressman_ch-8Software engg. pressman_ch-8
Software engg. pressman_ch-8Dhairya Joshi
 
OOAD_Chapter_02.pdf
OOAD_Chapter_02.pdfOOAD_Chapter_02.pdf
OOAD_Chapter_02.pdfZahidAkon2
 
Data flow diagram
Data flow diagram Data flow diagram
Data flow diagram Nidhi Sharma
 
topic 2 data flow daigram topic-converted.pdf
topic 2 data flow daigram topic-converted.pdftopic 2 data flow daigram topic-converted.pdf
topic 2 data flow daigram topic-converted.pdftahir427002
 
SWE-401 - 6. Software Analysis and Design Tools
SWE-401 - 6. Software Analysis and Design ToolsSWE-401 - 6. Software Analysis and Design Tools
SWE-401 - 6. Software Analysis and Design Toolsghayour abbas
 
6.SE_Requirements Modeling.ppt
6.SE_Requirements Modeling.ppt6.SE_Requirements Modeling.ppt
6.SE_Requirements Modeling.pptHaiderAli252366
 
Analysis modeling in software engineering
Analysis modeling in software engineeringAnalysis modeling in software engineering
Analysis modeling in software engineeringMuhammadTalha436
 
Introduction to Data Structure
Introduction to Data Structure Introduction to Data Structure
Introduction to Data Structure Prof Ansari
 
Refer to the following figure which contains drafts of a context and l.docx
Refer to the following figure which contains drafts of a context and l.docxRefer to the following figure which contains drafts of a context and l.docx
Refer to the following figure which contains drafts of a context and l.docxlmarie40
 

Similar to Free ebooks download ! Edhole (20)

SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptx
SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptxSE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptx
SE2018_Lec 14_ Process Modeling and Data Flow Diagram.pptx
 
Df dtutorial
Df dtutorialDf dtutorial
Df dtutorial
 
Process modeling
Process modelingProcess modeling
Process modeling
 
Df dtutorial
Df dtutorialDf dtutorial
Df dtutorial
 
Dfd2
Dfd2Dfd2
Dfd2
 
Df dtutorial
Df dtutorialDf dtutorial
Df dtutorial
 
Software engg. pressman_ch-8
Software engg. pressman_ch-8Software engg. pressman_ch-8
Software engg. pressman_ch-8
 
OOAD_Chapter_02.pdf
OOAD_Chapter_02.pdfOOAD_Chapter_02.pdf
OOAD_Chapter_02.pdf
 
Data flow diagram
Data flow diagram Data flow diagram
Data flow diagram
 
E workshop system design
E workshop system designE workshop system design
E workshop system design
 
Ch08
Ch08Ch08
Ch08
 
Ch08
Ch08Ch08
Ch08
 
topic 2 data flow daigram topic-converted.pdf
topic 2 data flow daigram topic-converted.pdftopic 2 data flow daigram topic-converted.pdf
topic 2 data flow daigram topic-converted.pdf
 
SWE-401 - 6. Software Analysis and Design Tools
SWE-401 - 6. Software Analysis and Design ToolsSWE-401 - 6. Software Analysis and Design Tools
SWE-401 - 6. Software Analysis and Design Tools
 
Chapter 1- IT.pptx
Chapter 1- IT.pptxChapter 1- IT.pptx
Chapter 1- IT.pptx
 
6.SE_Requirements Modeling.ppt
6.SE_Requirements Modeling.ppt6.SE_Requirements Modeling.ppt
6.SE_Requirements Modeling.ppt
 
ISAD 313-3_ MODELS.pptx
ISAD 313-3_ MODELS.pptxISAD 313-3_ MODELS.pptx
ISAD 313-3_ MODELS.pptx
 
Analysis modeling in software engineering
Analysis modeling in software engineeringAnalysis modeling in software engineering
Analysis modeling in software engineering
 
Introduction to Data Structure
Introduction to Data Structure Introduction to Data Structure
Introduction to Data Structure
 
Refer to the following figure which contains drafts of a context and l.docx
Refer to the following figure which contains drafts of a context and l.docxRefer to the following figure which contains drafts of a context and l.docx
Refer to the following figure which contains drafts of a context and l.docx
 

More from Edhole.com

Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarkaEdhole.com
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarkaEdhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company suratEdhole.com
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in suratEdhole.com
 
Website dsigning company in india
Website dsigning company in indiaWebsite dsigning company in india
Website dsigning company in indiaEdhole.com
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhiEdhole.com
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarkaEdhole.com
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarkaEdhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company suratEdhole.com
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in suratEdhole.com
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in indiaEdhole.com
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhiEdhole.com
 
Website designing company in mumbai
Website designing company in mumbaiWebsite designing company in mumbai
Website designing company in mumbaiEdhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company suratEdhole.com
 
Website desinging company in surat
Website desinging company in suratWebsite desinging company in surat
Website desinging company in suratEdhole.com
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in indiaEdhole.com
 

More from Edhole.com (20)

Ca in patna
Ca in patnaCa in patna
Ca in patna
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
 
Website dsigning company in india
Website dsigning company in indiaWebsite dsigning company in india
Website dsigning company in india
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
 
Ca in patna
Ca in patnaCa in patna
Ca in patna
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
 
Website designing company in mumbai
Website designing company in mumbaiWebsite designing company in mumbai
Website designing company in mumbai
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website desinging company in surat
Website desinging company in suratWebsite desinging company in surat
Website desinging company in surat
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
 

Recently uploaded

URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppCeline George
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon AUnboundStockton
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdfssuser54595a
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsKarinaGenton
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersChitralekhaTherkar
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docxPoojaSen20
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptxVS Mahajan Coaching Centre
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxNirmalaLoungPoorunde1
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsanshu789521
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 

Recently uploaded (20)

URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website App
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon A
 
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its Characteristics
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Model Call Girl in Bikash Puri Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Bikash Puri  Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Bikash Puri  Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Bikash Puri Delhi reach out to us at 🔝9953056974🔝
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of Powders
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptx
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha elections
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 

Free ebooks download ! Edhole

  • 1. EDUCATION HOLE PRESENTS OBJECT ORIENTED SYSTEMS Unit-III
  • 2. Functional Modeling................................................................................................................ 2 Data flow diagram.................................................................................................................................................3 Specifying operations.......................................................................................................................4 (i) Identifying input and output values .................................................................................................................4 (ii) Building DFD ....................................................................................................................................................4 iii) Describing Functions........................................................................................................................................5 (iv)Identify constraints between objects ..............................................................................................................5 (v) Specifying Optimization criteria.......................................................................................................................5 A sample functional model ...................................................................................................... 6 OMT (object modeling techniques) methodologies ..........................................................................6 Phases of OMT......................................................................................................................................................7 Analysis.............................................................................................................................................................7 Design .................................................................................................................................................................10 Case studies to demonstrate methodologies ......................................................................... 10 Comparisons of methodologies..........................................................................................................................10 1. Comparisons with SA/SD ............................................................................................................................10 2. Comparisons with JSD: JSD has a different life cycle..................................................................................11 Principles of operation........................................................................................................................................11 Functional Modeling The functional model shows how the input and output values of a program are derived. It does this using data flow diagrams (DFD). A DFD is a networked view of the system which represents the program’s calculations. DFDs are made up of processes, data flows, actors and data sources. A process which is drawn as an ellipse, changes the input values into output values. The processes in the DFD correspond to the operations in the object model. A data flow, represented as an arrow, illustrates the flow of data through a series of connected processes. Data flows starts and finishes at a process, actor or data store. Actors are objects and are represented as rectangles located at the edge of the DFD. Actors can be either sources or sinks of data. Data stores are depicted as parallel lines and provide a location for the temporary storage of data. A functional modeling perspective concentrates on describing the dynamic process. The main concept in this modeling perspective is the process; this could be a function, transformation, activity, action, task etc. A well-known example of a modeling language
  • 3. employing this perspective is data flow diagrams. The perspective uses four symbols to describe a process, these being: • Process: Illustrates transformation from input to output. • Store: Data-collection or some sort of material. • Flow: Movement of data or material in the process. • External Entity: External to the modeled system, but interacts with it. Now, with these symbols, a process can be represented as a network of these symbols. This decomposed process is a DFD, data flow diagram. Data flow diagram A data flow diagram (DFD) is a graphical representation of the "flow" of data through an information system, modeling its process aspects. Often they are a preliminary step used to create an overview of the system which can later be elaborated. DFDs can also be used for the visualization of data processing (structured design). A DFD shows what kinds of information will be input to and output from the system, where the data will come from and go to, and where the data will be stored. It does not show information about the timing of processes, or information about whether processes will operate in sequence or in parallel (which is shown on a flowchart). Data flow diagrams follow the rules of abstraction. First a top level DFD is drawn. Each of the processes identified are continually broken up until they reach a level where no further decomposition can occur. At this stage each process can represent a class method. As a result of this decomposition DFD’s are drawn as a series of diagrams. A top level data flow diagram is drawn first fig 4.6, it can be seen that the input and output values start and end with an external source i.e. the user. The generate results process can be further decomposed as shown.
  • 4. During analysis three models of the system were created; the object model, the dynamic model and the functional model. These models along with the problem statement make up the analysis of the project. Specifying operations (i) Identifying input and output values List input and output values. The input and output values are parameters of events between system and outside world. Find any input or output values missed. (ii) Building DFD Now construct a DFD, show each output value is completed from input values. A DFD is usually constructed in layers. The top layer may consist of a single process, or perhaps one process to gather inputs, compute values, and generate outputs. Within each dfd layer, work backward from each output value to determine the function that computes it. If the inputs are operations are all inputs of the entire diagram, you are done; otherwise some of the operation inputs are intermediate values that must be traced backward in turn. You can also trace forward from inputs to outputs, but it is usually harder to identify all users of an input, than to identify all the sources of an output.
  • 5. • Expand each non trivial process in the top level DFD into a lower level DFD. • Most systems contain internal storage objects that retain values between iterations. An internal store can be distinguished from a data flow or a process because it receives values that don’t result in immediate outputs but are used at some distant time in the future. • The DFD show only dependencies among operations. They don’t show decisions.(control flows) iii) Describing Functions When the dfd has been refined enough, write a description of each function. The description can be in natural language, mathematical equations, pseudo code, decision tables, or some appropriate form. • Focus on what the function does, and not how it is implemented. • The description can be declarative or procedural. • A declarative description specifies the relationships between input and output values and the relationships among output values. For example, “sort and remove duplicate values” Declarative: “Every value in the input list appears exactly once in the output list, and the values in the output list are in strictly increasing order.” Procedural:-specifies function by giving an algorithm to compute it. The purpose of the algorithm is only to specify what the function does. A declarative description is preferable; they don’t imply implementation but if procedural is easy it should be used. (iv)Identify constraints between objects Identify constraints between objects. Constraints are functional dependencies between objects that are not related by an input output dependency. Constraints can be on two objects at the same time, between instances of the same object at different times (an invariant) or between instances of different object at different times.  Preconditions on functions are constraints that the input values must satisfy.  Post conditions are constraints that the output values are guaranteed to hold.  State the times or conditions under which the constraints hold. (v) Specifying Optimization criteria Specify values to be maximized, minimized or optimized. If there is several optimization criteria that conflict, indicate how the trade-off is to be decided.
  • 6. A sample functional model Functional model specifies the result of a computation without specifying when or how they are computed. The Data Flow Diagram (DFD) is used to model the processes involved in the system. OMT (object modeling techniques) methodologies During the early phases of this research, focus was on the acquisition of knowledge which is considered to be the most difficult task in the development of a KBS system. A more general approach based on the Object Oriented paradigm was used in systems design. Several methodologies were examined but the most rational and more logical choice was the Object Modeling Technique by [Rumbaing 1991]. This approach was also used by numerous researchers in CIM related projects [Ito 1993]. The OMT approach models real world objects. Instead of thinking about computer implementation, algorithm or techniques, focus is on real world objects that comprise the system. This includes the behavior of objects and relationships between objects. How and why objects behave in a particular manner during certain situations are explicitly defined. The representation of such objects contains both data and behavior in the form of attributes and methods. The OMT has a three phase development process consisting of analysis, design and implementation. The analysis phase revolves around building a model of the real-world that specifies what the system must do. Objects in the analysis phase are objects that actually exist in the application and not computer implementations. What is defined are the objects and relationships that define the system. If the objects belong to particular class, then such class is defined. Relationships are always defined between objects and can consist of objects themselves. Attributes and methods complete the description of the object. The design
  • 7. phase includes both System and Object design. In this phase, sub-systems are organized based on the results of analysis. In system design, resources are allocated, performances that must be optimized are established and strategies are decided. Objects include both the data structures and algorithms that must be implemented. Implementation covers the translation of results of the analysis and design phases into a particular programming language. Object Oriented systems such as Smalltalk, C++, Eiffel, Objective C, are commonly used for implementation. General purpose programming languages can also be used but some difficulty is encountered in installing object oriented features such as inheritance, encapsulation, polymorphism and object behavior mechanisms. In this research, much of the focus was on the analysis phase and the determination of important domain objects and classes. Paragraph was used as the language and the Object Oriented Design techniques used in OMT proved to be directly implementable by its structure. This made unnecessary involved design and implementation activities for the problem. In this regard the following explanation focused on the analysis methodology of OMT. Phases of OMT Analysis There are three models produced in the analysis phase of OMT: 1. Object model describes the static structure of the system and consists of representations of the object as it exists in the real world. Objects are modeled by means of Object Diagrams which may be represented as hierarchies or networks. Objects can belong to a class such that they are instances of the class or are components of a collection under the class. Included with each object are variables and methods or operations that the object performs. Objects are related to each other by means of links or associations which may be other objects. Aggregation or the has- a relationship, inheritance and generalization or the is-a relationship were used for classifying and grouping objects. 2. Dynamic model describes aspects of the system that changes over time. This is represented by a State Transition Diagram (STD) that describes events and states of the system. Other tools such as the Event Trace and Event Flow Diagram could also be used to describe the dynamic model. 3. Functional model specifies the result of a computation without specifying when or how they are computed. The Data Flow Diagram (DFD) is used to model the processes involved in the system. Actual OMT modeling and design was conducted only on the knowledge acquisition systems developed because the approach was more general in nature and the specific knowledge required for the task was not yet determined. Objects included in the system are represented by squares. Relationships between objects are shown by lines. The generalization relationship is represented by a triangle to designate an in-a or class-based relationship. Filled circles indicate many (e.g.
  • 8. many sources of expertise, many knowledge bases, etc.) while the default is 1 (ordinary line ends point). Aggregation or the "has-a" relationship is represented by a diamond and is included in the figure to show the components of knowledge acquisition and knowledge base development. There were two systems developed using the OMT technique, the Select Tool and the Geometry Acquisition Tool. In the following chapters, the object, dynamic and functional models for each system are discussed in more detail but the Object Model that includes both systems is shown in Figure 4.1. Figure 4.1 The OMT view of KBS development. The dynamical model for the knowledge acquisition phase is represented by a State Transition Diagram where the nodes or round figures represent states of the system. States are represented in terms of object or attribute states. States represent conditions of the attributes and are the result of an event represented by lines. An event is something that happens sometime. In this case, it was broadened to include not only user events but also system activities that result in different conditions for objects included in the system. The general or upper level dynamic model for knowledge acquisition is shown.
  • 9. Figure 4.2 Dynamic models of knowledge acquisition and KBS development. The Functional model specifies what happens in the system. It is represented by Data Flow Diagrams (DFDs) which shows the relationships of values resulting from system activities. Oval figures represent processes or tasks that require an input and produce an output. Square figures represent external agents or "actors" that produce or use data. Data stores, represented by two lines, are objects that store data without doing anything. Lines connecting the components represent the flow of data from one figure to the other. A simple Functional Model for the knowledge acquisition process is described in Figure 4.3.
  • 10. Figure 4.3 Functional model of knowledge acquisition. Design The design phase includes the strategy for building the solution to the problem. In this phase, the system architecture is established and subsystems are allocated to software and hardware components. The focus on this phase is on how to solve the problem. Algorithms, data types and implementation decisions and details are added to determine how each described class, instant or function operates and behaves. The components necessary to achieve the desired behavior are assembled in this phase. Both programs developed were implemented in Paragraph. Case studies to demonstrate methodologies Comparisons of methodologies There are several popular software engineering approaches for developing the software. And the most of the approaches and based on the data flow diagrams. Two approaches to compare with OMT, which are : 1. Structured analysis / structured Design (SA/SD) 2. Jackson Structured Design (JSD) 1. Comparisons with SA/SD: SA/SD methodology contains much common features as OMT both methodology use similar modeling constructs and support the three orthogonal views of a system. It includes a variety of notations for formally specifying software.
  • 11. a. In SA/SD approached the functional model dominates, the dynamic model is next important , and the object model least important. b. SA/SD organizes a system around procedures, while OMT organizes a system around real world objects. c. SA/SD is useful for problems where functions are more important and complex than data. d. An SA/SD design has a clearly – designed system boundary. 2. Comparisons with JSD: JSD has a different life cycle. JSD is the approaches where JSD does not discuss between analysis and design phases. JSD software development consists of six steps: • Entity action • Entity structure • Initial model • Function • System timing • Implementation JSD approach uses graphical models but JSD is less graphically oriented then SA/SD and OMT. JSD • JSD approach is complex. • JSD places more emphasis on action and less on attributes that OMT. • Jackson system development (JSD) is a linear software development methodology developed by Michael A. Jackson and John Cameron in the 1980s. Principles of operation Three basic principles of operation of JSD is that: • Development must start with describing and modelling the real world, rather than specifying or structuring the function performed by the system. A system made using JSD method performs the simulation of the real world before any direct attention is paid to function or purpose of the system. • An adequate model of a time-ordered world must itself be time-ordered. Main aim is to map progress in the real world on progress in the system that models it. • The way of implementing the system is based on transformation of specification into efficient set of processes. These processes should be designed in such a manner that it would be possible to run them on available software and hardware.