Integrating UML diagrams for production control systems

ABSTRACT

This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous production agents, which are used for the decentralization of production control systems. In order to generate a (Java) implementation of a production control system from its specification, we define a precise semantics for the diagrams and we define how different (kinds of) diagrams are combined to a complete executable specification.Generally, generating code from UML behavior diagrams is not well understood. Frequently, the semantics of a UML behavior diagram depends on the topic and the aspect that is modeled and on the designer that created it. In addition, UML behavior diagrams usually model only example scenarios and do not describe all possible cases and possible exceptions.We overcome these problems by restricting the UML notation to a subset of the language that has a precise semantics. In addition, we define which kind of diagram should be used for which purpose and how the different kinds of diagrams are integrated to a consistent overall view.

REFERENCES

• AT98: J. Ali, J. Tanaka: Implementation of the Dynamic Behavior of Object Oriented System; IDPT Vol. 4, 19998, Proc. of third biennial world conference on integrated desgin and process technology, 281-288, ISSN No. 1090-9389, Society for Design and Process Science (1998)
• BRJ99: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• Doug98: B. P. Douglass: Real Time UML; Addison Wesley, ISBN 0-201-32579-9 (1998)
• FNTZ98: Thorsten Fischer , Jörg Niere , Lars Torunski , Albert Zündorf, Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, p.296-309, November 16-20, 1998
• GHJV95: E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns; Addison Wesley, ISBN 0-201-63361-2, 1995
• GK97: U. Gl~sser, R. Karges, Abstract State Machine Semantics of SDL, in Journal of Universal Computer Science, Vol. 3, No., 12, 1997
• H+88: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• HG96: David Harel , Eran Gery, Executable object modeling with statecharts, Proceedings of the 18th international conference on Software engineering, p.246-257, March 25-29, 1996, Berlin, Germany
• ITU96: ITU-T Recommendation Z.100, Specification and Description Language (SDL), International Telecommunication Union (ITU), Geneva, 1994 + Addendum 1996.
• JFC99: Technical reference of the Java Foundation Classes, contained in the Java Development Kid v1.2 (Java2) http://www.sun.java.com/
• JZ98: J. H. Jahnke , A. Zuendorf, Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling, Proceedings of the 9th international workshop on Software specification and design, p.77, April 16-18, 1998
• JZ99: J. H. Jahnke , A. Zündorf, Applying graph transformations to database re-engineering, Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools, World Scientific Publishing Co., Inc., River Edge, NJ, 1999
• NZ99: Jörg Niere , Albert Zündorf, Using FUJABA for the Development of Production Control Systems, Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance, p.181-191, September 01-03, 1999
• KNNZ99: H. J. K~hler, U. Nickel, J. Niere, A. Z~ndorf: Using UML as a visual programming language, technical report, tr-ri-99-205, University of Paderborn, 1999
• Köhl99: H. J. K~hler: Code Generation for UML Collaboration, Sequence, and Statechart Diagrams; Master Thesis, in German, Dep. Computer Science, University of Paderborn, 1999.
• Rhap: The Rhapsody case tool reference manual; Version 1.2.1, ILogix, http://www.ilogix.com/
• Roz97: Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
• RR-RT: The Rational-Rose Realtime case-tool, http:// www.rational.com
• San99: T. Sander: Tool Support for the Design and Generation of Agent Systems, in German, Master Thesis, University of Paderborn, 1999
• SGW94: Bran Selic , Garth Gullekson , Paul T. Ward, Real-time object-oriented modeling, John Wiley & Sons, Inc., New York, NY, 1994
• SWZ95: Andy Schürr , Andreas J. Winter , Albert Zündorf, Graph Grammar Engineering with PROGRES, Proceedings of the 5th European Software Engineering Conference, p.219-234, September 25-28, 1995
• ZSW99: A. Z~ndorf, A. Sch~rr, and A. J. Winter: Story Driven Modeling, Technical Report, Universtiy of Pader-born, To appear 1999.
• Zün96: A. Z~ndorf: A Development Environment for PROgrammed Graph REwriting Systems; (in German), Dissertation, RWTH Aachen, Germany, 1996.
• Zün96b: Albert Zündorf, Graph Pattern Matching in PROGRES, Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, p.454-468, November 13-18, 1994

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: UML
      D.3.4 Processors
          Subjects: Code generation

  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.2 Grammars and Other Rewriting Systems
          Subjects: Grammar types (e.g., context-free, context-sensitive)

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Control theory

  J. Computer Applications
  J.7 COMPUTERS IN OTHER SYSTEMS
      Subjects: Industrial control

General Terms:
Design, Languages, Management, Performance, Theory

Keywords:
SDL, UML, collaboration diagrams, embedded systems, graph grammars, statecharts