Developing control systems components

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

Volumn 1945 LNCS, Issue , 2000, Pages 156-175

  Petre, Luigia ^a   Sere, Kaisa ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; PLANNING; SPECIFICATIONS; SOFTWARE ENGINEERING;

CONTROL SOFTWARE; DESIGN STRATEGIES; PHYSICAL ENVIRONMENTS; PRODUCTION CELLS; SOFTWARE ENGINEERING METHODS; SYSTEM COMPONENTS; SYSTEM-LEVEL SPECIFICATIONS; UML STATECHART DIAGRAMS; UML STATECHARTS;

FORMAL METHODS;

EID: 84894545897     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_10     Document Type: Conference Paper

References (26)

1. R. J. R. Back, L. Petre and I. Porres-Paltor. Analysing UML Use Cases as Contracts. In Proceedings of UML'99. LNCS 1723, Springer-Verlag, 1999.
2. R. J. R. Back, L. Petre and I. Porres-Paltor. Generalizing Action Systems to Hybrid Systems. TUCS Technical Reports No. 307, 1999.
3. R. J. R. Back and K. Sere. Prom Action Systems to Modular Systems. In Software - Concepts and Tools Vol. 17, pp. 26-39, Springer-Verlag, 1996.
4. R. J. R. Back and K. Sere, Superposition Refinement of Reactive Systems. In Formal Aspects of Computing Vol. 8, No. 3, pp. 324-346, Springer-Verlag, 1996.
5. M. von der Beeck. A Comparison of Statecharts Variants. In Proceedings of FTRTFT'94. LNCS 863, pp. 128-148, 1994.
6. M. Bonsangue, J.N. Kok, and K. Sere. An approach to object-orientation in action systems. In Proceedings of MPC'98. LNCS 1422, Springer-Verlag, 1998.
7. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
8. R. Breu, R. Grosu, F. Huber, B. Rumpe and W. Schwerin. Systems, Views and Models of UML. In M. Schader and A. Korthaus (Eds.), The Unified Modeling Language, Technical Aspects and Applications, pp. 93-109, Physica-Verlag Heidelberg, 1998.
9. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner. Towards a Formalization of the Unified Modeling Language. In Proceedings of ECOOP'97. LNCS 1241, Springer-Verlag, 1997.
10. M. Butler, E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In J.-R. Abrial, E. Borger and H. Langmaack (Eds), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS 1165, Springer-Verlag, 1996.
11. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison- Wesley, 1988.
12. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
13. R. France, A. Evans, K. Lano and B. Rumpe. The UML as a formal modeling notation. In Computer Standards & Interfaces. Vol. 19, pp. 325-334, 1998.
14. D. Harel. Statecharts: A visual formalism for complex systems. In Science of Computer Programming Vol. 8, pp. 231-274, 1987.
15. D. Harel and A Naamad. The STATEMATE semantics of Statecharts. In ACM Transactions on Software Engineering Vol. 5, No.4, pp. 293-333, 1996.
16. G. Luttgen, M. von der Beeck and R. Cleaveland. Statecharts via process algebras. In Proceedings of CONCUR'99. LNCS 1664, 1999.
17. A. Maggiolo-Schettini, A. Peron and S. Tini. Equivalence of Statecharts. In Proceedings of CONCUR '96. LNCS 1119, pp. 687-702, 1996.
18. M. C. Mcllroy. Mass Produced Software Components. In Proceedings of NATO Conference on Software Engineering, Garmisch, Germany, 1968.
19. V. Kasurinen and K. Sere. Data Modelling in ZIM. In Proceedings of Methods Integration'96, Springer-Verlag, 1996.
20. R. Kneuper. Limits of Formal Methods. In Formal Aspects of Computing Vol. 9, No. 4, pp 379-394, Springer-Verlag, 1997.
21. L. P. Gorm, N. Plat, and H. Toetenel. A formal semantics of data flow diagrams. In Formal Aspects of Computing Vol. 6, No. 6, pp. 586-606, Springer-Verlag, 1994.
22. C. Lewerentz and Th. Lindner (Eds). In Formal Development of Reactive Systems - Case Study Production Cell. LNCS 891, Springer-Verlag, 1995.
23. E. Sekerinski. Production Cell. In E. Sekerinski and K. Sere (Eds), Program Development by Refinement - Case Studies Using the B Method. FACIT, Springer- Verlag, 1998.
24. P. Scholz. Design of Reactive Systems and Their Distributed Implementation with Statecharts, Ph.D. thesis, Munich University of Technology, 1998.
25. C. Szyperski Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1997.
26. M. Weber. Combining Statecharts and Z for the Design of Safety-Critical Systems. In Proc. of FME'96. LNCS 1051, Springer-Verlag, 1996.