Skip to main content
SpringerLink
Log in

Verification of integrated IDEF models

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

Abstract

Enterprise models play a crucial role in the analysis of enterprises and constitute a basis for improvement or re-engineering. A great variety of description techniques exists, among them IDEF0 for function modelling and IDEF1X for information modelling. Both methods are FIPS standards. The methods are independent of each other but, as they may be used for a description of the same system, the need for merging of IDEF0 and IDEF1X models into one integrated model is obvious. A verification of correctness of integrated models is of paramount importance. This may be done by use of the formal description technique Estelle (ISO standard), commonly applied for specifications of computer network protocols.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Kacprzak, M. (2004). Synchronous service of interactions in Estelle language (in Polish). Biuletyn Informacyjny IMM, 2/2004.

  • FIPS [Federal Information Processing Standards] Publication 183 (1993). Integration Definition for Function Modeling (IDEF0).

  • FIPS [Federal Information Processing Standards] Publication 184 (1993a). Integration Definition for Information Modeling (IDEF1X).

  • INT [Institut Nationale des Télécommunications, Evry, France] (1999). EDT—Estelle Development Toolset.

  • ISO 9074 (1997). Estelle: A formal description technique based on an extended transition model .

  • Kacprzak, M., & Kaczmarczyk, A. (2001). Validation by simulation of enterprise models. Proceedings of IFAC conference on modelling and control of economic systems SME 2001, Klagenfurt, Austria.

  • MSC [Meta Software Corporation] (1999). WorkFlow modeler. Release 4.2.

  • Vernadat, F.B. (1996). Enterprise modeling and integration. Chapman & Hall.

  • Yourdon, E. (1988). Modern structured analysis. Prentice Hall Inc.

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematical Machines, Krzywickiego 34, 02-078, Warsaw, Poland

    Marek Kacprzak & Andrzej Kaczmarczyk

Authors
  1. Marek Kacprzak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Kaczmarczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marek Kacprzak.

Additional information

Received: June 2005 / Accepted: January 2006

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kacprzak, M., Kaczmarczyk, A. Verification of integrated IDEF models. J Intell Manuf 17, 585–596 (2006). https://doi.org/10.1007/s10845-006-0024-2

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-006-0024-2

Keywords

Search

Navigation