Software and system modeling based on a unified formal semantics

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

Volumn 1526, Issue , 1998, Pages 43-68

  Broy, Manfred ^a   Huber, Franz ^a   Paech, Barbara ^a   Rumpe, Bernhard ^a   Spies, Katharina ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SEMANTICS; SYSTEMS ENGINEERING;

DOCUMENT FORMATS; ENGINEERING DISCIPLINES; FORMAL SEMANTICS; MODELING TECHNIQUE; SYSTEM MODELING; TOOL SUPPORT;

SOFTWARE DESIGN;

EID: 84948125395     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10692867_2     Document Type: Conference Paper

References (58)

1. F. L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. Wössner. The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L. LNCS 183. Springer-Verlag, 1985.
2. N. Bjørner, A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H. B. Sipma, and T. E. Uribe. STeP: Deductive Algorithmic Verification of Reactive and Real-Time Systems. In R. Alur and T. A. Henzinger, editors, Computer Aided Verification: 8th International Conference, volume 1102 of Lecture Notes in Computer Science. Springer, 1996.
3. M. Broy, M. Breitling, B. Schöatz, and K. Spies. Summary of Case Studies in Focus - Part II. SFB-Bericht 342/24/97 A, Technische Universität München, September 1997.
4. V.R. Basili, G. Caldiera, and H.-D. Rombach. Goal Question Metric Paradigm. In J.J. Marciniak, editor, Encyclopedia of Software Engineering, pages 528-532. John Wiley & Sons, 1994.
5. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to Focus. SFB-Bericht Nr. 342/2-2/92 A, Technische Universitat München, January 1993.
6. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stplen. The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universität München, 1993.
7. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 2. Technical Report TUM-I9312, Technische Universitöt Munchen, 1993.
8. M. Broy, M. Fuchs, T. F. Gritzner, B. Schätz, K. Spies, and K. Stølen. Summary of Case Studies in Focus - a Design Method for Distributed Systems. SFB-Bericht 342/13/94 A, Technische Universitöt München, June 1994.
9. R. Breu, R. Grosu, Ch. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, and W. Schwerin. Exemplary and Complete Object Interaction Descriptions. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Proceedings OOPSLA '97 Workshop on Object-oriented Behavioral Semantics. TUM-I9737, 1997.
10. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. In J. Bosch and S. Mitchell, editors, Object-Oriented Technology, ECOOP’97 Workshop Reader. Springer Verlag, LNCS 1357, 1997.
11. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, and V. Thurner. Towards a Formalization of the Unified Modeling Language. In ECOOP, LNCS 1241, pages 344-366, 1997.
12. M. Broy, C. Hofmann, I. Krueger, and M. Schmidt. Using Extended Event Traces to Describe Communication in Software Architectures. In Proceedings APSEC’97 and ICSC’97,. IEEE Computer Society, 1997.
13. M. Broy, H. Hußmann, and B. Schätz. Formal Development of Consistent System Specifications. In M.-C. Gaudel and J. Woodcock, editors, FME’96: Industrial Benefit and Advances in Formal Methods, LNCS 1051, pages 248-267. Springer, 1996.
14. A. Biere. Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen. PhD thesis, Universitat Karlsruhe, 1997.
15. M. Broy, S. Merz, and K. Spies, editors. Formal Systems Specification - The RPC-Memory Specification Case Study, LNCS 1169. Springer, 1996.
16. M. Broy, S. Merz, and K. Spies. The RPC-Memory Specification Problem: A Synopsis. In [BMS96a], pages 5-20, 1996.
17. M. Breitling. Formalizing and Verifying TIMEWARP with Focus. SFBBericht 342/27/97 A, Technische Universität München, 1997.
18. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.1, 1997.
19. M. Broy. A Functional Rephrasing of the Assumption/Commitment Specification Style. Technical Report TUM-I9417, Technische Universitäat Muänchen, 1994.
20. M. Broy and K. Stølen. FOCUS on System Development - A Method for the Development of Interactive Systems, 1997. Manuskript.
21. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development - The FUSION Method. Prentice Hall, 1994.
22. D. Craigen, S. Gerhart, and T. Ralston. Formal Methods Reality Check: Industrial Usage. In FME, LNCS 670, pages 250-267. Springer, 1993.
23. E. Downs, P. Clare, and I. Coe. Structured Systems Analysis and Design Method: Application and Context. Prentice-Hall, 1992.
24. B. Deifel, U. Hinkel, B. Paech, P. Scholz, and V. Thurner. Die Praxis der Softwareentwicklung: Eine Erhebung. Submitted to publication, 1998.
25. R. B. France and J.-M. Bruel. Integrated Informal Object-Oriented and Formal Modeling Techniques. In H. Kilov and B. Rumpe, editors, Proceedings ECOOP’97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. Technische Universitat Munchen, TUM-I9725, 1997.
26. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
27. R. Grosu, C. Klein, and B. Rumpe. Enhancing the SysLab System Model with State. TUM-I9631, Technische Universitat Munchen, 1996.
28. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. TUM-I9630, Technische Universitäat Mäunchen, 1996.
29. R. Grosu and B. Rumpe. Concurrent Timed Port Automata. TUM-I9533, Technische Universität München, 1995.
30. F. Huber, S. Molterer, B. Schätz, O. Slotosch, and A. Vilbig. Traffic Lights - An AutoFocus Case Study. In International Conference on Application of Concurrency to System Design. IEEE CS Press, 1998.
31. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the Formal Semantics of Statecharts. Proceedings on the Symposium on Logic in Computer Science, pages 54-64, 1987.
32. F. Huber and B. Schätz. Rapid Prototyping with AutoFocus. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgesprüch 1997, pp. 343-352. GMD Verlag (St. Augustin), 1997.
33. F. Huber, B. Schatz, and K. Spies. AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. In U. Herzog and H. Hermanns, editors, Formale Beschreibungstechniken für verteilte Systeme, pages 165-174. Universität Erlangen-Nürnberg, 1996. Arbeitsberichte des Insituts für mathematische Maschinen und Datenverarbeitung, Bd. 29, Nr. 9.
34. H. Hußmann. Formal Foundations for Software Engineering Methods, LNCS 1322. Springer, 1997.
35. i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Stalemate, 1990.
36. International Telecommunication Union, Geneva. Message Sequence Charts, 1996. ITU-T Recommendation Z. 120.
37. I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, 1992.
38. M. Jackson. The World and the Machine. In ICSE-17, pages 283-294, 1995.
39. M. P. Jones. An Introduction to Gofer. Manual, 1993.
40. C. Klein, B. Rumpe, and M. Broy. A Stream-based Mathematical Model for Distributed Information Processing Systems - SysLab system model - In E. Naijm and J.-B. Stefani, editors, FMOODS’96 Formal Methods for Open Object-based Distributed Systems, pages 323-338. ENST France Telecom, 1996.
41. D. Nazareth, F. Regensburger, and P. Scholz. Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universitüat Muünchen, 1996.
42. S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Verification System. In D. Kapur, editor, Proceedings International Conference on Automated Deduction (CADE) '92. Springer, 1992.
43. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, LNCS 828. Springer-Verlag, 1994.
44. B. Paech and B. Rumpe. A New Concept of Refinement Used or Behaviour Modelling with Automata. In FME’94, Formal Methods Europe, Symposium '94, LNCS 873. Springer-Verlag, Berlin, October 1994.
45. B. Paech and B. Rumpe. State Based Service Description. In J. Derrick, editor, Formal Methods for Open Object-based Distributed Systems. Chapman-Hall, 1997.
46. J. Philipps and B. Rumpe. Refinement of Information Flow Architectures. In M. Hinchey, editor, ICFEM’97 Proceedings, Hiroshima. Japan. IEEE CS Press, 1997.
47. J. Philipps and B. Rumpe. Stepwise Refinement of Data Flow Architectures. In M. Broy, E. Denert, K. Renzel, and M. Schmidt, editors, Software Architectures and Design Patterns in Business Applications. Technische Universitüt München, TUM-I9746, 1997.
48. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modeling and Design. Prentice-Hall, 1991.
49. F. Regensburger. HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universitüt München, 1994.
50. B. Rumpe and C. Klein. Automata Describing Object Behavior, pages 265-287. Kluwer Academic Publishers, Norwell, Massachusetts, 1996.
51. B. Rumpe. Formal Method for the Development of Distributed Object-Oriented Systems (in German). Herbert Utz Verlag Wissenschaft, 1996. PhD thesis, Technische Universitüat Müunchen.
52. K. Stølen, F. Dederichs, and R. Weber. Specification and Refinement of Networks of Asynchronously Communicating Agents using the Assumption/Commitment Paradigm. Formal Aspects of Computing, 1995.
53. B. Selic, G. Gulkeson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
54. K. Spies. Funktionale Spezifikation eines Kommunikationsprotokolls. SFBBericht 342/08/94 A, Technische Universität München, May 1994.
55. K. Spies. Eine Methode zur formalen Modellierung von Betriebssystemkonzepten. PhD thesis, Technische Universität München, 1998.
56. L. Suchman(ed.). Special Issue on Representations of Work. CACM, 38 (9), 1995.
57. K.J. Turner(ed.). Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. John Wiley & Sons, 1993.
58. J.B. Wordsworth. Software Development with Z. Addison-Wesley, 1992.