Advanced search
Publication Cover
Journal of Discrete Mathematical Sciences and Cryptography Volume 8, 2005 - Issue 2
Journal homepage
25
Views
0
CrossRef citations to date
0
Altmetric
Original Articles

The deductive IDEF1X data model of a tooling system

H.-F. Lai Department of Business Management, National United University, No. 1, Lein-Da Road, Miaoli 360, Taiwan, R.O.C.Correspondence[email protected]
&
C.-E. Lee Institute of Industrial Engineering and Management, National Chiao Tung University, Hsin-Chu, Taiwan, R.O.C.
Pages 143-174 | Received 01 Jun 2004, Published online: 03 Jun 2013
 
Sample our Mathematics & Statistics journals, sign in here to start your FREE access for 14 days

Abstract

IDEF1X is a tool widely used to depict data models. However, there have been few works that discussed the IDEFIX foundation, much less its logic semantics. F-logic is a logic database language based on object semantics. It is powerful in expressing object-oriented features. Thus we aim at constructing sufficient formality to allow formal analysis and to verify the properties of the IDEF1X data model. The IDEF1X data model is transformed into F-logic language first by transformation rules. Next, a logic interpretation structure of this data model is presented. The transformation processes and results are illustrated using an example of a tooling system. Finally, the significance of this approach is discussed and summarized.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related Research Data

Object-instead of function-oriented data management for tool management as an example application
Source: Elsevier BV
Tool management in flexible manufacturing systems
Source: Emerald
Larch: Languages and Tools for Formal Specification
Source: Springer New York
Knowledge-based integration of neuroscience data sources
Source: IEEE Comput. Soc
On database systems development through logic
Source: Association for Computing Machinery (ACM)
Tool management for flexible manufacturing
Source: Informa UK Limited
Conceptual modelling-based design of object-oriented databases
Source: Elsevier BV
Conceptual modeling for data and knowledge management
Source: Elsevier BV
Migrating to an object-oriented databased using semantic clustering and transformation rules
Source: Elsevier BV
Foundations of Logic Programming
Source: Springer Berlin Heidelberg
The logical data model
Source: Association for Computing Machinery (ACM)
The selection of tools and machines on web-based manufacturing environments
Source: Elsevier BV
A relational model of data for large shared data banks
Source: Association for Computing Machinery (ACM)
Graphical and formal knowledge specification with KARL
Source: IEEE
Incorporated tool selection system using object technology
Source: Elsevier BV
Object logic integration: A multiparadigm design methodology and a programming language
Source: Elsevier BV
The cutting path and tool selection problem in computer aided process planning
Source: Elsevier BV
A Petri net based approach for analysing tool management issues in FMS
Source: Informa UK Limited
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
Source: Springer Berlin Heidelberg
電腦整合製造裡IDEF技術的整合：IDEF0與IDEF1X
Source: Informa UK Limited
Information modelling for manufacturing systems: A case study
Source: Elsevier BV
The knowledge acquisition and representation language KARL
Source: Karlsruhe
Logical foundations of object-oriented and frame-based languages
Source: Association for Computing Machinery (ACM)
A knowledge-based decision support system for the management of parts and tools in FMS
Source: Elsevier BV
Transforming queries from a relational schema to an object schema: A prototype based on F-logic
Source: Springer Berlin Heidelberg
Managing semistructured data with florid: a deductive object-oriented perspective
Source: Elsevier BV
AN OBJECT-ORIENTED APPLICATION OF TOOL SELECTION IN DYNAMIC PROCESS PLANNING
Source: Informa UK Limited
A formal semantics for object model diagrams
Source: Institute of Electrical and Electronics Engineers (IEEE)
Data modelling with IDEF1x
Source: Informa UK Limited
Development of a Tool Database Management System
Source: Springer Science and Business Media LLC
The entity-relationship model---toward a unified view of data
Source: Association for Computing Machinery (ACM)
Deductive entity relationship modeling
Source: Institute of Electrical and Electronics Engineers (IEEE)

Linking provided by 

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.