Specification of an automatic manufacturing system: A case study in using integrated formal methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1783, Issue , 2000, Pages 334-348

  Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; MODEL CHECKING; MODELING LANGUAGES;

ARCHITECTURAL VIEWS; AUTOMATIC MANUFACTURING SYSTEMS; CLASS DIAGRAMS; CSP MODEL; GRAPHICAL NOTATION; INTEGRATED FORMAL METHODS; PROCESS ALGEBRAS; SOFTWARE SYSTEMS;

FORMAL SPECIFICATION;

EID: 84945254810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_23     Document Type: Conference Paper

References (18)

1. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511-533, 1995.
2. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, Oct 1997.
3. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423-438. Chapman & Hall, 1997.
4. C. Fischer and H. Wehrheim. Model-checking CSP-OZ specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pages 315-334. Springer, 1999.
5. J.F. Groote and A. Ponse. Proof theory for μ-CRL: A language for processes with data. In Semantics of specification languages, Workshops in Computing. Springer, 1993.
6. A. J. Galloway and W. Stoddart. An operational semantics for ZCCS. In M. Hinchey and Shaoying Liu, editors, Int. Conf. of Formal Engineering Methods (ICFEM). IEEE, 1997.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
8. B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In The 20th International Conference on Software Engineering (ICSE'98), pages 95-104. IEEE Computer Society Press, April 1998.
9. A. Mota and A. Sampaio. Model-checking CSP-Z. In Proceedings of the European Joint Conference on Theory and Practice of Software, volume 1382 of LNCS, pages 205-220, 1998.
10. Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3.
11. J. Quemada, editor. Revised working draft on enhancements to LOTOS (V4). ISO, 1996.
12. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
13. G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proceedings of FME 1997, volume 1313 of LNCS, pages 62-81. Springer, 1997.
14. G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
15. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science, 2nd edition, 1992.
16. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998.
17. K. Taguchi and K. Araki. Specifying concurrent systems by Z + CCS. In International Symposium on Future Software Technology (ISFST), pages 101-108, 1997.
18. E. Westkämper, M. Höpf, and C. Schaeffer. Holonic manufacturing systems. In Lake Tahoe HMS Consortium, editor, Holonic manufacturing systems, 1994.