A formal approach for designing CORBA based applications

ABSTRACT

The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high level architectural design. This is done by introducing in the specification all typical elements of CORBA and by providing a methodological support to the designers. The paper discusses a methodology to transform a formal specification written in TRIO into a high level design document written using an extension of TRIO named TC. The TC language is suited to formally describe the high level architecture of a CORBA based application. The methodology and the associated language are presented by means of an example involving a real Supervision and Control System.

REFERENCES

• 1: Andrea Alborghetti , Angelo Gargantini , Angelo Morzenti, Providing automated support to deductive analysis of time critical systems, Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, p.211-226, September 22-25, 1997, Zurich, Switzerland
• 2: Alcatel, Hewlett-Packard, Highlander Communications, INPRISE Communications, IONA Technologies, Lockheed Martin Federal Systems, Lucent Technologies, Nortel Networks, Object- Oriented Concepts, Sun Microsystems, Tri- Pacific Software; Real-Time CORBA Joint Revised Submission, OMG TC Document orbos/99-02-12, March 1999.
• 3: Barbacci M., Weinstock C., Doubleday D., Gardner M., et al., Durra: a structure description language for developing distributed applications, IEE Software Engineering Journal, 8, 2, pp. 83 - 94, March 1993.
• 4: Barry W. Boehm, A Spiral Model of Software Development and Enhancement, Computer, v.21 n.5, p.61-72, May 1988 [doi>10.1109/2.59]
• 5: Grady Booch, Object-oriented analysis and design with applications (2nd ed.), Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1993
• 6: Booch, G., Jacobson I. and Rumbaugh J. The Unified Modeling Language for Object Oriented Development, Documentation set, RationalRose, 1996.
• 7: Capobianchi, R., Carcagno, D., Coen-Porisini, A., Mandrioli, D., Morzenti, A. A framework architecture for the development of new generation supervision and control systems, in Domain Specific Application Frameworks, Eds. M. Fayad, D. Schmidt, J. Wiley, September 1999.
• 8: Emanuele Ciapessoni , Piergiorgio Mirandola , Alberto Coen-Porisini , Dino Mandrioli , Angelo Morzenti, From formal models to formally based methods: an industrial experience, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.1, p.79-113, Jan. 1999 [doi>10.1145/295558.295566]
• 9: Mohamed E. Fayad , Douglas C. Schmidt , Ralph E. Johnson, Building application frameworks: object-oriented foundations of framework design, John Wiley & Sons, Inc., New York, NY, 1999
• 10: C. Ghezzi , D. Mandrioli , A. Morzenti, TRIO: A logic language for executable specifications of real-time systems, Journal of Systems and Software, v.12 n.2, p.107-123, May 1990 [doi>10.1016/0164-1212(90)90074-V]
• 11: IEC - IS - 1158-2. Field Bus standard for use in industrial control system Physical layer specification and service definition.
• 12: Kevin Lano, Enhancing object-oriented methods with formal notations, Theory and Practice of Object Systems, v.2 n.4, p.247-268, 1996 [doi>10.1002/(SICI)1096-9942(1996)2:4<247::AID-TAPO2>3.0.CO;2-R]
• 13: Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer, Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, p.137-153, September 25-28, 1995
• 14: Mandrioli, D., Marotta, A., Morzenti, A. Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications, submitted for publication.
• 15: Dino Mandrioli , Sandro Morasca , Angelo Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.365-398, Nov. 1995 [doi>10.1145/210223.210226]
• 16: Sandro Morasca , Angelo Morzenti , Pieluigi SanPietro, Generating functional test cases in-the-large for time-critical systems from logic-based specifications, Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, p.39-52, January 08-10, 1996, San Diego, California, United States
• 17: Angelo Morzenti , Matteo Pradella , Matteo Rossi , Stefano Russo , Antonio Sergio, A Case Study in Object-oriented Modeling and Design of Distributed Multimedia Applications, Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, p.217, May 17-18, 1999
• 18: Angelo Morzenti , Pierluigi San Pietro, Object-oriented logical specification of time-critical systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.1, p.56-98, Jan. 1994 [doi>10.1145/174634.174636]
• 19: OMG, CORBA IIOP 2.3.1 Specification, OMG Technical Report 99-10-07, 492 Old Connecticut Path, Framingham, MA 01701, USA, 1999.
• 20: OMG, CORBA Services book, OMG Technical Report 98-12-09, 492 Old Connecticut Path, Framingham, MA 01701, USA, 1998.
• 21: OpenDREAMS II Consortium, Development Methodology, Deliv. WP5/T5.1-PdM-REP/R51-V2, June 1999.
• 22: OpenDREAMS II Consortium, EMS Application Specification Extensions, Deliv. WP7/T7.1-ENEL-REP/ R71-V1, May 1998.
• 23: OpenDREAMS II Consortium, Formalization of OD Services, Deliv. WP1/T1.3-PdM-REP/R13-V1, April 1998.
• 24: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 25: Richard Mark Soley , Christopher M. Stone, Object management architecture guide (3rd ed.), John Wiley & Sons, Inc., New York, NY, 1995

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

          Nouns: CORBA

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured); Languages
        D.2.11 Software Architectures
            Subjects: Patterns (e.g., client/server, pipeline, blackboard)

  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Temporal logic

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

Keywords:
CORBA, design, formal methods, supervision and control system, temporal logic