Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Formal Methods

Encyclopedia of Information Science and Technology, Fourth Edition
Mathematical techniques for the development of functional specifications and designs of real-time software.
Published in Chapter:
A Formal Approach to the Distributed Software Control for Automated Multi-Axis Manufacturing Machines
Gen'ichi Yasuda (Nagasaki Institute of Applied Science, Japan)
Copyright: © 2018 |Pages: 12
DOI: 10.4018/978-1-5225-2255-3.ch647
This chapter deals with the control system design problem for automated machine systems from the viewpoint of a discrete event system approach. Behaviors of automated systems have externally the features of discrete event asynchronous, concurrent processes, which implies the necessity of distributed architecture for intelligent cooperative control. Based on the generalization of multi-axis machine activities, the detailed control functions of a machine task are hierarchically represented by an interpreted form of the Petri net. The necessary control conditions and rules to ensure that the control system is well-defined, including synchronization and conflict resolution, are provided as a conceptual model of machine task. Due to hierarchical decomposition of Petri net models, the structure of the whole control system as well as the contents of each machine task is easily understood so that the task planning, monitoring and modification of the control system can be done effectively.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Formal Development of Reactive Agent-Based Systems
Formal methods are rigorous techniques based on mathematical notation that can be used to specify and verify software models.
Full Text Chapter Download: US $37.50 Add to Cart
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Formal methods are the computer-based techniques that involve the development of the mathematical model of the given system based on some logic and verification of its intended properties using deductive reasoning.
Full Text Chapter Download: US $37.50 Add to Cart
State-of-the Art Concepts and Future Directions in Modelling Coordination
The application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
Full Text Chapter Download: US $37.50 Add to Cart
Lessons from Practices and Standards in Safety-Critical and Regulated Sectors
Methods that are machine-processable and that have well-defined syntax & semantics.
Full Text Chapter Download: US $37.50 Add to Cart
Formal Specification Language for Agent Oriented Systems
The use of formal methods in software specification is an approach of using mathematical rules and a fixed set of syntax and semantics to formally specify the behavior of a system.
Full Text Chapter Download: US $37.50 Add to Cart
The Theory of Deferred Action: Informing the Design of Information Systems for Complexity
System of symbols representative of reality and rules for abstraction of things form reality and their composition to form models.
Full Text Chapter Download: US $37.50 Add to Cart
Deriving Formal Specifications from Natural Language Requirements
This term refers to the variety of mathematical modeling techniques that are applicable to computer system (software and hardware) design. Formal methods may be used to specify and model the behavior of a system and to mathematically verify that the system design and implementation satisfy system functional and safety properties. These specifications, models, and verifications may be done using a variety of techniques and with various degrees of rigor.
Full Text Chapter Download: US $37.50 Add to Cart
Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification
A particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR