Formal Specification

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform

Hong Zhu - One of the best experts on this subject based on the ideXlab platform.

  • Formal Specification of the variants and behavioural features of design patterns
    Journal of Systems and Software, 2010
    Co-Authors: Ian Bayley, Hong Zhu
    Abstract:

    The Formal Specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying patterns, eliminate ambiguity and thereby lay a solid foundation for tool support. This paper further advances a Formal meta-modeling approach that uses first-order predicate logic to specify design patterns. In particular, it specifies both structural and behavioural features of design patterns and systematically captures the variants in a well-structured format. The paper reports a case study involving the Formal Specification of all 23 patterns in the Gang of Four catalog. It demonstrates that the approach improves the accuracy of pattern Specifications by covering variations and clarifying the ambiguous parts of inFormal descriptions.

  • AAMAS - A Formal Specification language for agent-oriented software engineering
    Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03, 2003
    Co-Authors: Hong Zhu
    Abstract:

    This paper reports a Formal Specification language SLABS for developing multi-agent systems. One of the most appealing features of agent technology is its natural way to modularise complex systems in terms of multiple interacting autonomous components. This feature is supported by the language facility castes in the Formal Specification language SLABS for modular and composable Specification of multi-agent systems.

  • ICFEM - Formal Specification of Evolutionary Software Agents
    Formal Methods and Software Engineering, 2002
    Co-Authors: Hong Zhu
    Abstract:

    How to specify agent's intelligent behaviour is a challenging open problem in the development of agent-based systems. This paper presents a case study of developing the Formal Specification of the evolutionary multi-agent ecosystem Amalthaea developed at MIT Media Lab. A diagrammatic notation is used for the development of agent models and to derive a Formal Specification of the system in SLABS, which is a Formal Specification language for agent-based systems

  • A Formal Specification Language for MAS Engineering
    2001
    Co-Authors: Hong Zhu
    Abstract:

    One of the most appealing features of multi-agent technology is its natural way to modularise a complex system in terms of multiple, interacting, autonomous components that have particular objectives to achieve. This paper presents a Formal Specification language SLAB that supports modular Specification of multi-agent systems. The syntax and semantics of the language are defined. The style of Formal Specification of multi-agent systems is illustrated by an example.

Feng Xuemin - One of the best experts on this subject based on the ideXlab platform.

Muaz A. Niazi - One of the best experts on this subject based on the ideXlab platform.

  • A Formal Specification framework for smart grid components
    Complex Adaptive Systems Modeling, 2018
    Co-Authors: Waseem Akram, Muaz A. Niazi
    Abstract:

    PurposeSmart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there has previously been a considerable focus on the proof of concept aspect of smart grid, there have been very few modeling attempts and even lesser attempts at Formalization. To the best of our knowledge, Formal Specification has not been applied previously in the domain of smart grid.MethodsUsing a state-based Formal Specification language namely Z (pronounced as ‘Zed’), we present a novel approach to Formally modeling and specify smart grid components.ResultsThe modeling exercise clearly demonstrates that Z is particularly suited for modeling various smart grid components.ConclusionsThe presented Formal Specification can be considered as a first step towards the modeling of smart grid using a Software Engineering Formalism. It also demonstrates how Formal Specification can be used to model complex systems in general, and the smart grid, in particular.

  • A Formal Specification framework for smart grid components
    Complex Adaptive Systems Modeling, 2018
    Co-Authors: Waseem Akram, Muaz A. Niazi
    Abstract:

    Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there has previously been a considerable focus on the proof of concept aspect of smart grid, there have been very few modeling attempts and even lesser attempts at Formalization. To the best of our knowledge, Formal Specification has not been applied previously in the domain of smart grid. Using a state-based Formal Specification language namely Z (pronounced as ‘Zed’), we present a novel approach to Formally modeling and specify smart grid components. The modeling exercise clearly demonstrates that Z is particularly suited for modeling various smart grid components. The presented Formal Specification can be considered as a first step towards the modeling of smart grid using a Software Engineering Formalism. It also demonstrates how Formal Specification can be used to model complex systems in general, and the smart grid, in particular.

Michael Fisher - One of the best experts on this subject based on the ideXlab platform.

  • Formal Specification and verification of autonomous robotic systems a survey
    ACM Computing Surveys, 2019
    Co-Authors: Matt Luckcuck, Marie Farrell, Louise A Dennis, Clare Dixon, Michael Fisher
    Abstract:

    Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their Formal Specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics have received some attention in the literature, but no resource provides a current overview. This article systematically surveys the state of the art in Formal Specification and verification for autonomous robotics. Specially, it identifies and categorizes the challenges posed by, the Formalisms aimed at, and the Formal approaches for the Specification and verification of autonomous robotics.

  • Formal Specification and verification of autonomous robotic systems a survey
    arXiv: Formal Languages and Automata Theory, 2018
    Co-Authors: Matt Luckcuck, Marie Farrell, Louise A Dennis, Clare Dixon, Michael Fisher
    Abstract:

    Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their Formal Specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics has received some attention in the literature, but no resource provides a current overview. This paper systematically surveys the state-of-the-art in Formal Specification and verification for autonomous robotics. Specially, it identifies and categorises the challenges posed by, the Formalisms aimed at, and the Formal approaches for the Specification and verification of autonomous robotics.

Jan Treur - One of the best experts on this subject based on the ideXlab platform.

  • Comparing Formal Specification Languages
    2005
    Co-Authors: F.a.h. Van Harmelen, R. Lopez De Mantaras, Jacek Malec, Jan Treur
    Abstract:

    This paper presents a comparison between eight Specification languages discussed during the Workshop on Formal Specification Techniques for Complex Reasoning Systems held in Vienna during the ECAI'92 conference. The languages as discussed here possess ma

  • Formal Specification of Multi-Agent Systems
    1995
    Co-Authors: Frances M. T. Brazier, B. D. Keplicz, Nicholas R. Jennings, Jan Treur
    Abstract:

    In this paper the framework DESIRE, originally designed for Formal Specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful Formal Specification framework for multi-agent systems.

  • Formal Specification of multi agent systems a real world case
    International Conference on Multi Agent Systems, 1995
    Co-Authors: Frances M. T. Brazier, Nicholas R. Jennings, Barbara Duninkeplicz, Jan Treur
    Abstract:

    In this paper the framework DESIRE, originally designed for Formal Specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful Formal Specification framework for multi-agent systems.

Formal Specification - 15 days free trial to Access Experts & Abstracts