Formal approach for designing CORBA based applications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 188-197

  Pradella, Matteo ^a   Rossi, Matteo ^a   Mandrioli, Dino ^a   Coen Porisini, Alberto ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON OBJECT REQUEST BROKER ARCHITECTURE; SUPERVISION AND CONTROL SYSTEM; TEMPORAL LOGIC;

CLIENT SERVER COMPUTER SYSTEMS; FORMAL LANGUAGES; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033700285     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Alborghetti, A., Gargantini, A., Morzenti, A. Providing Automated Support to Deductive Analysis of Time Critical Systems", Proc. of Sixth European Software Engineering Conference ESEC 97, Zurich, Switzerland, September 1997.
2. Alcatel, Hewlett-Packard, Highlander Communications, INPFUSE 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. Boehm B.W. A spiral model of software development and enhancement, IEEE Computer, 21, 5, pp. 61-72, May 1988.
5. Booch, G., Object Oriented Analysis and Design with Applications, Benjamins Cummings, 1994.
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. Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A. From Formal models to formal based methods: an industrial experience, ACM Transactions on Software Engineering and Methodologies, 8, 1, January 1999.
9. Fayad M., Schmidt D., Johnson R. (eds), Building Application Frameworks: Object-Oriented Foundations of Framework Design, J. Wiley, September 1999.
10. Ghezzi, C., Mandrioli, D., Morzenti, A. TRIO, a logic language for executable specifications of real-time systems, Joumal of Systems and Software, 12, 2, May 1990.
11. IEC - IS - 1158-2. Field Bus standard for use in industrial control system Physical layer specification and service definition.
12. Lano, K. Enhancing Object Oriented Methods with Formal Notations, Theory and Practice of Object Systems, vol. 2 no. 4., 1996.
13. Magee J., Dulay. N, Eisenbach S, and Kramer J., Specifying Distributed Software Architecture, Proc. ESEC '95, Lecture Notes in Computer Science no. 989, pp. 137 - 153, September 1995.
14. Mandrioli, D., Marotta, A., Morzenti, A. Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications, submitted for publication.
15. Mandrioli, D., Morasca, S., Morzenti, A. Generating test cases for real-time systems from logic specifications, ACM-TOCS - Transactions on Computer Systems, 13,4, November 1995.
16. Morasca, S., Morzenti, A., San Pietro, P. Generating functional test cases in-the-large for time-critical systems from logic-based specifications, Proc of ISSTA 1996, ACM-SIGSOFT International Symposium on Software Testing and Analysis, January 1996.
17. Morzenti, A., Pradella, M., Rossi, M., Russo, S., Sergio, A. A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications, Proc. of 2nd Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), Los Angeles (USA), IEEE Computer Society Press, pp 217 - 223, May 1999.
18. Morzenti, A, San Pietro, P. Object-Oriented logic specifications of time critical systems, ACM-TOSEM - Transactions on Software Engineering and Methodologies, 3, 1, January 1994.
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/R5 1-V2, June 1999.
22. OpenDREAMS II Consortium, EMS Application Specification Extensions, Deliv. WP7/T7.1-ENELREP/R71-V1, May 1998.
23. OpenDREAMS II Consortium, Formalization of OD Services, Deliv. WPl/T1.3-PdM-REP/R13-VA1,pr il1998.
24. Rumbaugh, J., Blaha, M., W. Premerlani, F. Eddy, F., and Lorensen W. Object-Oriented Modeling and Design, Prentice Hall, 1991.
25. Soley R. (ed), Object Management Architecture, J. Wiley, 1992.