臺灣博碩士論文加值系統

本文提出一個發展自動化製造資訊系統之新方法論：混合式規格方法論，此方法整合由上而下的功能式分解與由下而上的規格組合策略，混合式規格方法論分析的結果，可以經由轉換法則直接轉換為PLC程式或資料庫系統。
混合式規格方法論著重於功能與狀態的改變，由於接近系統的原來特性，因此易於分析與理解，不像由上而下的功能式分解僅適用於固定環境，加上由下而上的規格組合，可以迎合系統變動的環境需求，而且參考由上而下的階層結構，混合式規格方法論提供系統發展的重要指引，與傳統發展自動化製造系統之方法比較，可發現混合式規格方法論可降低系統發展的複雜性，使得從系統分析到系統實作，更為平順。
從需求工程的角度，本文將自動化製造系統的需求規格分為三類；功能式、行為式、與結構式規格，功能式規格以IDEF0表示，用以描述功能元件、作業流程、與輸入/輸出關係；行為式規格以Statecharts表示，用以描述系統的行為，與狀態的變化；結構式規格以IDEF1X表示，用以描述系統的實際資料組件、相關環境模組、與資料的集串。
最後，為說明混合式規格方法論的可行性，本文以自動化製造系統的三類需求規格為例，說明本方法異於傳統由上而下或由下而上技術的地方，並且顯現其重複使用與擴充功能的特性。

This dissertation presents a hybrid specification method (HSM), which integrates the top-down functional decomposition and bottom-up composition. The results of hybrid specification method can be translated into the PLC programs or databases directly using the transformation rules.
HSM aims at functions and state changes that are consistent in nature and are easy to understand and analyze. Unlike the top-down decomposition approach, which is only suitable for stable environments. Using a bottom-up compositional strategy, the hybrid method meets the requirements for changes in variable environments. Moreover, referring the top-down hierarchy, the hybrid method supports guidelines of system development. In comparison with traditional methods, this hybrid specification method will reduce the complexity in the system analysis and design phase, and make the process from system analysis to implementation more smoothly.
From requirement engineering, three types of specifications of automated manufacturing systems (AMSs) are identified: functional, behavioral, and structural specifications. The functional view is described using the language of IDEF0, which describes its functional component, activity flow, and the input/output relations. The behavioral view is described using the language of Statecharts, which describes its behavior and the state-transition relations. The structural view is described using the language of IDEF1X, which describes its physical components, the environment modules, and the clusters of data.
To demonstrate the viability of this method, three types of specifications of AMSs are analyzed and designed using this method. The proposed method provides an alternative to the traditional top-down decomposition or the bottom-up composition techniques with reusable and extendable properties.
ABSTRACT………………………………………………………………………….I
中文摘要…………………………………………………………………………….II
致謝…………………………………………………………………………………III
TABLE OF CONTENTS…………………………………………………………..IV
LIST OF FIGURES…………………………………………………………………V
LIST OF TABLES………………………………………………………………….VI
CHAPTER 1 INTRODUCTION 1
1.1 MOTIVATION 1
1.2 OBJECTIVES 3
1.3 SPECIFICATION ASPECTS 6
1.4 ORGANIZATION OF THE DISSERTATION 6
CHAPTER 2 TOOLS FOR SPECIFYING AMSS 7
2.1 THE CRITERIA OF SPECIFICATION TOOLS 7
2.2 SADT/IDEF0 8
2.3 STATE MACHINE AND STATECHARTS 10
2.4 STATIC STRUCTURE OF STATECHARTS 14
2.5 EXTENSION OF STATECHARTS 15
2.6 DATA MODEL AND STRUCTURAL CHARACTERISTICS 17
2.7 OBJECT-ORIENTED PARADIGM 19
2.8 PETRI-NET 20
2.9 ARIS METHOD 21
2.10 CONCLUSION 22
CHAPTER 3 ANALYSIS EXAMPLE OF AFD/ABC 25
3.1 FUNCTIONAL SPECIFICATIONS 26
3.2 THE ANALYSIS STEPS OF AFD/ABC 28
3.2.1 FUNCTIONAL MODEL OF AFD 28
3.2.2 ABC MODEL 29
3.2.3 AFD/ABC METHOD ANALYSIS STEPS 31
3.3. APPLICATION AFD/ABC TO AN AMS EXAMPLE 35
3.3.1 INTRODUCTION TO AN AMS EXAMPLE 35
3.3.2 AMS ANALYSIS BY AFD/ABC 36
3.4 DISCUSSIONS 41
3.5 CONCLUSIONS 42
CHAPTER 4 DESIGN EXAMPLE OF AFD/STATECHARTS 43
4.1 THE COMPOSITIONAL TECHNIQUE OF AFD/STATECHARTS 43
4.2 DESIGN STEPS OF THE AFD/STATECHARTS AND TRANSFORMATION RULES 45
4.2.1 DESIGN STEPS OF AFD/STATECHARTS 46
4.2.2 TRANSFORMATION RULES OF STATECHARTS AND PLC IN AFD/STATECHARTS 47
4.3 INTRODUCTION TO A WORKCELL EXAMPLE 48
4.4 STATECHARTS OF THE WORKCELL EXAMPLE 49
4.4.1 DEPICT THE FUNCTIONAL HIERARCHY OF THE OVERALL SYSTEM 49
4.4.2 CONSTRUCT THE STATECHARTS OF EACH SUBMODULE 51
4.4.3 COMPOSITIONAL STATECHARTS 53
4.4. 4 CONTINUE COMPOSING UNTIL THERE IS NO ISOLATED STATECHARTS 54
4.4. 5. MARK THE INITIAL CONFIGURATION 55
4.5 PLC CONTROL EQUATION 55
4.6 CONCLUSIONS 57
CHAPTER 5 DESIGN EXAMPLE OF ROM/IDEF1X 58
5.1 INTRODUCTION 58
5.2 ROM/IDEF1X 61
5.2.1 CONSTRUCTION OF ROM 61
5.2.2 DEVELOPMENT PROCEDURE OF ROM/IDEF1X 62
5.2.3 TRANSFORMATION BETWEEN IDEF1X DATA MODEL AND RELATIONAL SCHEMA 64
5.2.4 MAPPING OBJECT DOMAIN TO OO PROGRAM 66
5.3 APPLY ROM/IDEF1X TO DEVELOP A TOOL DATABASE SYSTEM 67
5.3.1 STEP 1: DECOMPOSE REQUIREMENT STATEMENTS INTO BASIC REQUIREMENTS 68
5.3.2 STEP 2: DEFINE THE PHYSICAL OBJECTS 68
5.3.3 STEP 3: IDENTIFY THE RELATIONSHIPS AND SELECTING RULES 70
5.4 OBJECT DOMAIN OF A TOOL DATABASE SYSTEM 72
5.4.1 STEP 4: IDENTIFY THE ATTRIBUTES AND THEIR CORRESPONDING PRIMARY KEY 72
5.4.2 STEP 5: DEPICT THE ABSTRACT DATA MODEL AND TRANSFORM IT INTO RELATIONAL SCHEMA 73
5.4.3 STEP 6: CLUSTER BASIC REQUIREMENTS INTO OBJECT DOMAINS 75
5.4.4 STEP 7: MAP EACH OBJECT DOMAIN INTO OO PROGRAMMING MODULES 78
5.5 IMPLEMENTATION AND DISCUSSIONS 79
5.5.1 SYSTEM STRUCTURE AND OPERATING PROCESS 79
5.5.2 CHARACTERISTICS OF ROM/IDEF1X 82
5.6 CONCLUSIONS 83
CHAPTER 6 DISCUSSION AND MATHEMATICAL FOUNDATION OF HSM 84
6.1 BEHAVIORAL ANALYSIS OF AFD/STATECHARTS 84
6.2 STATECHARTS AND PETRI NET 87
6.2.1 PETRI NET 87
6.2.2 THE RELATIONSHIP BETWEEN STATECHARTS AND PETRI NET 88
6.3 LOGIC FOUNDATION OF ROM/IDEF1X 91
6.4 OBJECT LOGIC 94
6.4.1 INTRODUCTION TO THE O-LOGIC 94
6.4.2 O-LOGIC SYNTAX 94
6.4.3 SEMANTICS OF O-LOGIC 97
6.5 IDEF1X 99
6.5.1 TYPES OF RELATIONSHIPS OF IDEF1X 99
6.5.2 IDEF1X DATA MODEL CARDINALITY CONSTRAINTS 101
6.6 REPRESENTING IDEF1X DATA MODEL IN LOGIC SPECIFICATIONS 104
6.6.1 TRANSFORMATION RULES 104
6.6.2 TOOLING SYSTEM IN O-LOGIC 109
6.7 THE PROOF SYSTEM 114
6.7.1 PROOF AND QUERY 114
6.7.2 PROOF THEORY OF O-LOGIC 115
6.8 CONCLUSION 120
CHAPTER 7 CONCLUSIONS 121
7.1 SUMMARY 121
7.2 CONTRIBUTION OF THE RESEARCH 122
7.3 FUTURE DIRECTION 123
REFERENCES 124

封面
ABSTRACT
中文摘要
致謝
TABLE OF CONTENTS
LIST OF FIGURES
LIST OF TABLES
CHAPTER 1 INTRODUCTION
1.1 MOTIVATION
1.2 OBJECTIVES
1.3 SPECIFICATION ASPECTS
1.4 ORGANIZATION OF THE DISSERTATION
CHAPTER 2 TOOLS FOR SPECIFYING AMSS
2.1 THE CRITERIA OF SPECIFICATION TOOLS
2.2 SADT/IDEF0
2.3 STATE MACHINE AND STATECHARTS
2.4 STATIC STRUCTURE OF STATECHARTS
2.5 EXTENSION OF STATECHARTS
2.6 DATA MODEL AND STRUCTURAL CHARACTERISTICS
2.7 OBJECT-ORIENTED PARADIGM
2.8 PETRI-NET
2.9 ARIS METHOD
2.10 CONCLUSION
CHAPTER 3 ANALYSIS EXAMPL OF AFD/ABC
3.1 FUNCTIONAL SPECIFICTIONS
3.2 THE ANALYSIS STEPS OF AFD/ABC
3.2.1 FUNCTIONAL MODEL OF AFD
3.2.2 ABC MODEL
3.2.3 AFD/ABC METHOD ANALYSIS STEPS
3.3 APPLICATION AFD/ABC TO AN AMS EXAMPLE
3.3.1 INTRODUCTION TO AN AMS EXAMPLE
3.3.2 AMS ANALYSIS BY AFD/ABC
3.4 DISCUSSIONS
3.5 CONCLUSIONS
CHAPTER 4 DESIGN EXAMPLE OF AFD/STATECHARTS
4.1 THE COMPOSITIONAL TECHNIQUE OF AFD/STATECHARTS
4.2 DESIGN STEPS OF THE AFD/STATECHARTS AND TRANSFORMATION RULES
4.2.1 DESIGN STEPS OF AFD/STATECHARTS
4.2.2 TRANSFORMATION RULES OF STATECHARS AND PLC IN AFD/STATECHARTS
4.3 INSTRODUCTION TO A WORKCELL EXAMPLE
4.4 STATECHARTS OF THE WORKCELL EXAMPLE
4.4.1 DEPICT THE FUNCTIONAL HIERARCHY OF THE OVERALL SYSTEM
4.4.2 CONSTRUCT THE STATECHARTS OF EACH SUBMODULE
4.4.3 COMPOSITIONAL STATECHARTS
4.4.4 CONTINUE COMPOSING UNTIL THERE IS NO ISOLATED STATECHARTS
4.4.5 MARK THE INITIAL CONFIGURATION
4.5 PLC CONTROL EQUTION
4.6 CONCLUSIONS
CHAPTER 5 DESIGN EXAMPLE OF ROM/IDEFIX
5.1 INTRODUCTION
5.2 ROM/IDEFIX
5.2.1 CONSTRUCTION OF ROM
5.2.2 DEVELOPMENT PROCEDURE OF ROM/IDEF1X
5.2.3 TRANSFORMATION BETWEEN IDEF1X DATA MODEL AND RELATIONAL SCHEMA
5.2.4 MAPPING OBJET DOMAIN TO OO PROGRAM''5.3 APPLY ROM/IDEF1X TO DEVELOP A TOOL DTATBASE SYSTEM
5.3 APLY ROM/IDEF1X TO DEVELOP A TOOL DATABASE SYSTEM
5.3.1 STEP 1:DECOMPOSE REQUIREMENT STATEMENTS INTO BASIC REQUIREMENTS
5.3.2 STEP 2: DEFINE THE PHYSICAL OBJECTS
5.3.3 STEP 3:IDENTIFY THE RELATIONSIPS AND SELECTING RULES
5.4 OBJECT DOMAIN OF A TOOL DATABASE SYSTEM
5.4.1 STEP 4:IDENTIFY THE ATIRIBUTES AND THEIR CORRESPONDING PRIMARY KEY
5.4.2 STEP 5:DEPICT THE ABSTRACT DATA MODEL AND TRANSFORM IT INTO RELATIONAL SCHEMA
5.4.3 STEP 6:CLUSTER BASIC REQUIREMENTS INTO OBJECT DOMAINS
5.4.4 STEP 7:MAP EACH BJECT DOMAIN INTO OO PROGRAMMING MODULES
5.5 IMPLEMENTATION AND DISCUSSIONS
5.5.1 SYSTEM STRUCTURE AND OPERATING PROCESS
5.5.2 CHARACTERISTICS OF ROM/IDEF1X
5.6 CONCLUSIONS
CHAPTER 6 DISCUSSION AND MATHEMATICAL FOUNDATION OF HSM
6.1 BEHAVIORAL ANALYSIS OF AFD/STATECHARTS
6.2 STATECHARTS AND PETRINET
6.2.1 PETRINET
6.2.2 THE RELATIONSHIP BETWEEN STATECHARTS AND PETRINET
6.3 LOGIC FOUNDATION OF ROM/IDEF1X
6.4 OBJECT LOGIC
6.4.1 INTRODUCTION TO THE O-LOGIC
6.4.2 O-LOGICS SYNTAX
6.4.3 SEMANTICS OF O-LOGIC
6.5 IDEF1X
6.5.1 TYPES OF RELATIONSHIPS OF IDEF1X
6.5.2 IDEF1X DATA MODEL CARDINALITY CONSTRAINTS
6.6 REPRESENTING IDEF1X DATA MODEL IN LOGIC SPECIFICATIONS
6.6.1 TRANSFORMATION RULES
6.6.2 TOOLING SYSTEM IN O-LOGIC
6.7 THE PROOF SYSTEM
6.7.1 PROOF AND QUERY
6.7.2 PROOF THEORY OF O-LOGIC
6.8 CONCLUSION
CHAPTER 7 CNCLUSIONS
7.1 SUMMARY
7.2 CONTRIBUTION OF THE RESEARCH
7.3 FUTURE DIRECTION
REFERENCES

Amstead, B. H., Ostwald, P. F. and Begeman, M. L., 1987, Manufacturing Processes, (John Wiley & Sons Inc).
Ang, C. L., Luo, M., and Gay, R. K. L., 1994, Automatic generation of IDEF0 models. Journal of Intelligent Manufacturing, 5, 79-92.
Backes, F., Franke, V., and Geiger, M., 1998, Concurrent manufacturing of parts and tools for sheet-metal industry. Journal of Intelligent Manufacturing, 9, 47-352.
Bard, J. F. and Feo, T. A., 1989, The cutting path and tool selection problem in computer aided process planning. Journal of Manufacturing System, 8(1), 17-26.
Barendregt, H. P., 1984, The Lambda Calculus — Its Syntax and Semantics, North-Holland.
Bauer, A., Bowden, R., Browne, J., Duggan, J. and Lyons, G., 1994, Shop Floor Control Systems from Design to Implementation, Chapman and Hall, London.
Bourdeau, R. H., and Chen, B. H. C., 1995, A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21 (10), 799-821.
Beaumariage, T., Roberts, C., and Baweja, G., 1995, Representation of manufacturing systems in terms of entities and relationships. International Journal of Computer Integratod Manufacturing, 8(1), 43-53.
Belhe, U. and Kusiak, A., 1996, Modeling relationships among design activities, Journal of Mechanical Design, Transactions Of the ASME, 118(4), pp. 454-460.
Berry, G. and Cosserat, L., 1985, The ESTEREL synchronous programming language and its mathematical semantics. Lecture Notes in Computer Science, LNCS n.197, SpringerVerlag.
Booch, G., 1994, Object-oriented Analysis and Design with Applications, 2nd edn., (Benjamin/Cummings).
Botta, V., Guinet, A. and Boulle, D., 1997, Object-oriented Analysis with Structured and Integrated Specifications and Solutions (OASISS) for production system control, Journal of Intelligent Manufacturing, 8, pp. 3-14.
Brave, Y. and Heymann, M., 1993, Control of discrete event systems modeled as hierarchical state machines, IEEE Transactions on Automatic Control, 38(12), pp. 1803-1819.
Bucci, G., Campanai, M. and Nesi, P., 1995, Tools for Specifying Real-Time Systems, Real-Time Systems, 8, pp. 117-172.
Caselli, S., Papaconstantinou, C., Doty, K. and Navathe, S., 1992, A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells. Journal of Intelligent Manufacturing, 3, pp. 11-30.
Chakravarty, A. K. Jain, H., K., Liu, J. J. and Nazareth, D. L., 1997, Object-Oriented Domain Analysis for Flexible Manufacturing Systems. Integrated Computer Aided Engineering, 4, 290-309.
Chan, B. W. M., 1992, Tool management for flexible manufacturing. International Journal of Computer Integrated Manufacturing, 5(5), 255-265.
Chang, T. C., Wysk, R. A. and Wang, H. P., 1991, Computer-Aided Manufacturing, (Englewood Cliffs, NJ: Prentice-Hall), pp. 115-124.
Chen, D. J., Lee, P. J. and Huang, S. K., 1992, Requirements organization approach for object-based construction of software systems. Information and Software Technology, 34 (7), 485-493.
Chen, P. P., 1976, The entity-relationship model- towards a unified view of data. ACM Transaction on Database System, 1(1), 9-36.
Codd, E. F., 1970, A relational model for large shared data banks. Communication of ACM, 13 (6), 377-387.
Coleman, D., Hayes, F. and Bear, S., 1992, Introducing objectcharts or how to use statecharts in object-oriented design, IEEE Transactions on Software Engineering, 18(1), pp. 9-18.
Cooper, R., 1988, The Rise of Activity-Based Costing─Part One: What is an Activity-Based Cost System, Journal of Cost Management, 2, 45-54, 1988.
Cooper, R. and Kaplan, R. S., 1988, Measure costs right: make the right decisions. Harvard Business Review, September-October, 96-103.
Cooper, R. and Kaplan, R. S., 1991, Profit priorities from activity-based costing. Harvard Business Review, May-June, 130-135.
Dahl, V., 1982, On database systems development through logic. ACM Transactions on Database System, 7 (1), 102-123.
Datar, S., Kekre, S., Mukhopadyay, T. and Svaan, E., 1991, Overloaded overheads: activity-based cost analysis of material handling in cell manufacturing. Journal of Operations Management, 10(1), 119-137.
David, R., 1995, Grafcet: A powerful tool for specification of logic controllers, IEEE Transactions on Control Systems Technology, 3(3), pp. 253-268.
Dhavale, D. G., 1992, Activity-based costing in cellular manufacturing systems. Industrial Engineering, 2, 44-46.
Di Battista, G., and Lenzerini, M., 1993, Deductive entity relationship modeling. IEEE Transactions on Knowledge and Data Engineering, 5 (3), 439-450.
Dodani, M., 1996, Object-Oriented methodologies in practice: the "big picture". Journal of Object-Oriented Programming Mar./Apr., 26-29.
EIMaraghy, H. A., 1985, Automated tool management in flexible manufacturing. Journal of Manufacturing System, 4(1), 1-13.
FIPS 183, 1993, Integration Definition for Function Modeling (IDEF0). National Institute of Standards and Technology.
FIPS 184, 1993, Integration Definition for Information Modeling (IDEF1X). National Institute of Standards and Technology.
Gallaire, H., Minker, J., Nicolas, J. -M., 1984, Logic and databases: A deductive approach, Computer Surveys, 16 (2), 153-185.
Gunasekaran, A., 1999, Agile manufacturing: A framework for research and development, International Journal of Production economics, 62, 87-105.
Gupta, A., Stahl, D. O., and Whinston, A. B., 1997, A Decentralized Approach to Estimate Activity-Based Costs and Near-Optimal Resource Allocation in Flexible Manufacturing Systems. International Journal of Flexible Manufacturing Systems, 9(2), 167-193.
Guttag, J. V., and Horning, J. J., 1993, Larch: Languages and Tools for Formal Specification, Springer-Verlag.
Harel, D., 1987, Statecharts: a visual formalism for complex systems, Science of Computer Program, 8, pp. 231-274.
Harel, D. et al., 1990, Statemate: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, 16(4), pp. 403-414.
Heimdahl, M. P. E. and Leveson, N. G., 1996, Completeness and consistency in hierarchical state-based requirements, IEEE Transactions on Software Engineering, 22(6), pp. 363-377.
Horngren, C. T., 1962, Choosing accounting practices for reporting to management, N.A.A. Bulletin, September, 3-15.
Hubbers, J.W.G.M. and Hofstede, A.H.M., 1997, Formalization of communication and behaviour in object-oriented analysis. Data and Knowledge Engineering, 23, 147-183.
Hsia, P., Davis, A., and Kung, D., 1993, Status report: requirements engineering. IEEE SOFTWARE, November, 75-79.
Jafari, M. A. and Boucher, T. O., 1994, A rule based system for generating a ladder logic control program from a high-level systems model. Journal of Intelligent Manufacturing, 5, pp. 103-120.
Jahanian, F. and Mok, A. K., 1994, Modechart: a specification language for real-time systems, IEEE Transactions on Software Engineering, 20(12), pp. 933-947.
Jeng, W. H. and Liang, G. R., 1998, An automated manufacturing system design methodology based on a triple flow model. International Journal of Industrial Engineering, 5(1), pp. 17-27.
Jones, A. T. and Mclean, C. R., 1985, A Proposed Hierarchical Control Model for Automated Manufacturing Systems. Journal of Manufacturing Systems, 5, 15-25.
Jôrgensen, K. A., 1998, Information modelling: foundation, abstraction mechanisms and approach. Journal of Intelligent Manufacturing, 9, 571-581.
Kifer, M., and Wu, J., 1993, A logic for programming with complex objects. Journal of Computer and System Sciences, 47 (1), 77-120.
Kifer, M., Lausen, G., and Wu, J., 1995, Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery; 42 (4), 741-843.
Kifer, M., 1995, Forward: Deductive Object-Oriented Databases. Journal of Intelligent Information Systems, 4 (2), 119-121.
Krause, F. —L., Major, F. and Altmann, C., 1989, Technological planning of alternative processes for flexible manufacturing systems. Software for Manufacturing, D. Kochan and G. Olling (Editors), Elsevier Science Publishers B.V. (North-Holland, , IFIP, 547-p557.
Kuper, G. M., and Vardi, M. Y., 1993, The logical data model. ACM Transactions on Database System, 18 (3), 379-413.
Kusiak, A., Letsche, T. and Zakarian, A., 1997, Data modelling with IDEF1X. International Journal of Computer Integrated manufacturing, 10(6), 470-486.
Kusiak, A. and Finke, G., 1988, Selection of process plans in automated manufacturing systems. IEEE Journal of Robotics and Automation, RA-4(4), 397-402.
Lai, H. F., 1993, Introduction to automated manufacturing systems. Wave-All, Taiwan.
Lai, H. F., 1997, RSML/PLC Method for Analysis/Design in Manufacturing System, Journal of Lien Ho Institute, 15, pp. 493-51.
Lai, H. F., 1998, Developing a hole-machining tools selection system applying IDEF1X data model. Proceedings of the 1998 CIIE National Conference, 264-270.
Lai, H. F. and Lee, C. E., 1999, Integrating the Object-Oriented static and dynamic models to design a controller of cellular manufacturing system, Journal of Science and Technology, 8(3), pp. 215-224.
Lai, H. F. and Lee, C. E., 2000, A hybrid specification method for the design of a workcell controller in manufacturing systems, International Journal of Advanced Manufacturing Technology, (to be appeared).
Lai, H. F. and Lee, C. E., 2001, Design logistics information system by ROM/IDEF1X method. Journal of Science and Technology, Vol. 10, no. 1, pp. 51-60, January.
Lee, J. H. M., and Pun, P. K. C., 1997, Object logic integration: A multiparadigm design methodology and a programming language. Computer Languages, 23 (1), 25-42.
Liang, G. R., 1991, A Lambda Calculus Model for The Officer-Cell Phenomenon in Manufacturing Systems, Proceedings of the 6th International Conference of CAD/CAM, Robotics and Factories of the Future, London, U. K., August.
Liang, G. R. and Hong, H. M., 1994, Hierarchy Transformation Method to Manufacturing System Specification, Design, Verification, and Implementation, Computer-Integrated Manufacturing System, 7, pp. 191-205.
Liang, G. R. and Hong, S. Y., 1998, Integration of IDEF technologies in CIM : IDEF0 and IDEF1X. Journal of the Chinese Institute of Industrial Engineers, 15(1), 83-94.
Liu, C. M., Chien, C. F. and Ho, L. Y., 1998, An object-oriented analysis and design method for shop floor control system, International Journal of Computer Integrated manufacturing, 11(5), pp. 379-400.
Lloyd, J. W., 1987, Foundations of Logic Programming, Springer-Verlag, second edition.
Lu, L. Z. and Ang, C. L., 1995, Integration of information model (IDEF1) with function model (IDEF0) for CIM system design. Computer Applications in Production Engineering, Proceedings of CAPEට, 389-3938.
Marca, D. & McGowan, C. L., 1988, SADT Structured analysis and Design Technique. McGraw-Hill, NY.
Markowitz, V. M. and Makowsky, J. A., 1990, Identifying extended entity-relationship object structures in relational schemas. IEEE Transactions on Software Engineering, 16(8), 777-790.
Marty, J. C., Sahraoui, A. E. K. and Sartor, M., 1998, Statecharts to specify the control of automated manufacturing systems, International Journal of Production Research, 36(11), pp. 3183-3215.
Mason, F., 1986, Computerized Cutting-Tool Management. American Machinist and Automated Manufacturing, 130(5), 105-120.
Mili, H., Mili, F. and Mili, A., 1995, Reusing software: issues and research directions. IEEE Transactions on Software Engineering, 21(6), pp. 528-562.
Missaoui, R., Godin, R., and Sahraoui, H., 1998, Migrating to an object-oriented database using semantic clustering and transformation rules. Data and Knowledge Engineering, 27, 97-113.
Motavalli, S. and Shamsaasef, R., 1996, Object-oriented modelling of a feature-based reverse engineering system. International Journal of Computer Integrated Manufacturing, 9(5), 354-368.
Mujtaba, M. S., 1994, Simulation modeling of a manufacturing enterprise with complex material, information and control flows. International Journal of Computer Integrated Manufacturing, 7(1), pp. 29-46.
Murata, T., 1989, Petri Net: Properties, Analysis, and Applications, Proceedings of The IEEE, 77, pp. 541-580.
Nagui-Raïss, N., 1994, A formal software specification tool using the entity-relationship model. Lecture Notes in Computer Science, 881, 315-332.
Naylor, A. W. and Volz, R. A., 1987, Design of Integrated Manufacturing System Control Software, IEEE Transaction on Systems, Man and Cybernetics, 17(6), pp. 881-897.
Ou-Yang, C. and Chang, R. H., 2000, Applying an Integrated Analysis Method to Develop a Shop Floor Control System, International Journal of Advanced Manufacturing Technology, 16(5): 353-369.
Peterson, J. L., 1981, Petri-Net Theory and Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall Inc.
Pnueli, A. and Shalev, M., 1991, What is in a Step: On the Semantics of Statecharts, Lecture Notes in Computer Science, 526, pp. 244-264.
Polland, J. R., 1994, Ladder logic remains the PLC language of choice. Control Engineering, pp. 77-79.
Proth, J-M., Xie, X., 1996, Modelling, analysis and optimization of cyclic manufacturing system, Petri-nets, a Tool for Design and Management of Manufacturing Systems, Wiley, Chichester, pp.145-164.
Ross, D. T. and Schoman, K. E., 1977, Structured analysis for requirements definition. IEEE Transactions on Software Engineering, 3(1), 6-15.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W., 1991, Object-Oriented Modeling and Design, Prentice-Hall.
Seng, J. L., 1998, A hybrid design of cost accounting information systems. The Journal of National Chengchi University, 76, 329-343.
Shanmugham, S. G. and Roberts, C. A., 1998, Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison, International Journal of Computer Integrated Manufacturing, 11(2), pp. 142-152.
Shayan, E. and Liu, C. L., 1995, Tool Management in Flexible Manufacturing Systems. Integrated Manufacturing Systems, 6(4), 26-35.
Sheer, A.-W., 1992, Architecture of Integrated Information Systems, Berlin: Spring-Verlag.
Sormaz, D. N. and Khoshnevis, B., 1997, Process planning knowledge representation using an object-oriented data model. International Journal of Computer Integrated Manufacturing, 10(1-4), 92-104.
Sowmya, A. and Ramesh, S., 1998, Extending Statecharts with temporal logic, IEEE Transactions on Software Engineering, 24(3), pp. 216-231.
Souza, R. D., 1997, Tool-provisioning strategies for flexible manufacturing systems. Robotics and Computer-Integrated Manufacturing, 13(1), 31-39.
Sutton, S. G., 1991, A new age of accounting. Production and Inventory Management Journal, First Quarter, 72-75.
Syan, C. S., 1990, Selecting tools like the expert., Integrated Manufacturing Systems, October, 187-189.
Teorey, T. J., Yang, D., and Fry, J. P., 1986, A logic design methodology for relational databases using the extended entity-relationship model. ACM Computer Surveys, 18(2), 197-222.
Tönshoff , H. K. and Dittmer, H., 1990, Object- instead of function-oriented data management for tool management as an example application. Robotics and Computer-Integrated Manufacturing, 7(1/2), 133-141.
Torvinen, S. J., Salminen, K., and Vasek, L., 1991, Integration of a CIM tool management system to an intelligent feature-based process planning system. Computer in industry, 17, 207-216.
Tsai, W. H., and Lin, C. C., 1997, Using Activity-Based Costing to Support Business Process Reengineering. The Proceeding of 1997 Conference on Technology and Application of Quality and Management for Twenty-First Century, 346-357.
Turney, P. B., 1990, What Is the Scope of Activity Based Costing. Journal of Cost Management, 3, 40-42.
Ullman, J. D., 1982, Principles of Databases Systems. Rockville, MD: Computer Science Press.
Uzam, M. and Jones, A. H., 1998, Discrete event control system design using automation Petri Nets and their Ladder diagram implementation, International Journal of Advanced Manufacturing Technology, 14, pp. 716-728.
van der Aalst, W.M.P. , 1999, Formalization and verification of event-driven process chains, Information and Software Technology , 41(10): 639-650.
Wakil, S. D. E., 1989, Processes and Design for Manufacturing. Prentice-Hall.
Wang, L. C., 1996, An integrated object-oriented Petri net paradigm for manufacturing control systems. International Journal of Computer Integrated Manufacturing, 9(1), 73-87.
Wang, W., Popplewell, K. and Bell, R., 1993, An integrated multi-view system description approach to approximate factory modelling. International Journal of Computer Integrated Manufacturing, 6(3), 43-53
Weygandt, S., 1996, Getting the MES model - methods for system analysis. ISA Transactions, 35(2), pp. 95-103.
Wirfs-Brock, R. B., Wilkerson, B., and Winer, L., 1990, Designing object-oriented software. Prentice-Hall.
You, C. -F. and Yang, S. —S., 1998, Automatic feature recognition from engineering drawings. The International Journal of Advanced Manufacturing Technology, 14, 495-507.
Zhang, J., Chuah, B., Cheung, E., and Deng, Z., 1996, Information modelling for manufacturing systems: a case study. Robotics and Computer-Integrated Manufacturing, 12(3), 217-225.