PREFACE; ABOUT THE EDITOR; ABOUT THE AUTHORS; LIST OF FIGURES; LIST OF TABLES; 1 FUNDAMENTALS OF FORMAL METHODS; 1.1 Overview; 1.2 Logic; 1.3 Argument & Proofs ; 1.4 Automata Theory; 1.5 Algorithms; 1.6 Logic Programming; 1.7 Formal Languages; 1.8 Conclusion; 1.9 References; 2 FORMAL METHODS FOR PROCESS SYSTEMS ENGINEERING; 2.1 Introduction; 2.2 Process Systems Engineering; 2.3 Why Formal Language? 2.4 Operation Engineering; 2.5 SOP synthesis; 2.6 Meta-Operation for Master Recipe; 2.7 Control Recipe Generation; 2.8 Conclusion; 2.9 References; 3 FORMAL METHODS FOR PRODUCTION CHAIN MANAGEMENT; 3.1 Introduction; 3.2 Production Chain Operation Framework; 3.3 Formal Representation of OM; 3.4 Case Study Production Chain; 3.5 Conclusions; 3.6 References; 4 FORMALIZING WASTE MANAGEMENT; 4.1 Introduction; 4.2 The Formal Method; 4.3 PSSP Ontology; 4.4 The Universal Properties; 4.5 Central Objects; 4.6 Application to Waste Management; 4.7 What Is Waste Management? 4.8 A Case; 4.9 Discussion; 4.10 Acknowledgement; 4.11 References; 5 FORMAL METHODS FOR MODELING BIOLOGICAL REGULATORY NETWORKS; 5.1 Introduction; 5.2 Qualitative Dynamics of Biological Regulatory Networks; 5.3 Differential Modelling; 5.4 Fonnal Methods; 5.5 Immunity Control in Bacteriophage Lambda; 5.6 Conclusion; 5.7 Acknowledgements; 5.8 References; 6 FORMAL METHODS FOR SPECIFYING AND ANALYZING COMPLEX SOFTWARE SYSTEMS; 6.1 Introduction; 6.2 Formal Specification Techniques; 6.3 Formal Methods for Designing Software Architectures; 6.4 Formal Software Architecture Analysis; 6.5 Related Work; 6.6 Concluding Remarks; 6.7 Acknowledgements; 6.8 References; 7 AN ALGEBRAIC APPROACH TO HARDWARE COMPILATION; 7. 1 Introduction; 7.2 A Language of Communicating Processes; 7.3 Compiling Strategy; 7.4 Handshake Protocol; 7.5 Data Processes; 7.6 Control Processes; 7.7 Hardware Device; 7.8 Conclusion; 7.9 References; 8 FORMAL METHODS FOR UML; 8.1 Introduction; 8.2 From UML to SMV; 8.3 Verification; 8.4 Related work ; 8.5 Conclusions and Future Lines of Work; 8.6 References; INDEX.