A formal approach for designing CORBA-based applications

ACM Transactions on Software Engineering and Methodology

Volumn 12, Issue 2, 2003, Pages 107-151

  Coen Porisini, Alberto ^a,d   Pradella, Matteo ^b   Rossi, Matteo ^c   Mandrioli, Dino ^c  

^a UNIVERSITY OF INSUBRIA   (Italy)

^b CNR   (Italy)

^c POLITECNICO DI MILANO   (Italy)

^d Sita Messtechnik GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED LANGUAGE; CORBA-BASED APPLICATIONS; HIGH-LEVEL ARCHITECTURE; TRIO/CORBA (TC) - COMPUTER PROGRAMMING LANGUAGE;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS;

SOFTWARE ENGINEERING;

EID: 26444450516     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/941566.941567     Document Type: Article

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, 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. 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, Journal 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/R51-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. WP1/T1.3-PdM-REP/R13-V1, April 1998.
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.