Using TRIO for designing a CORBA-based application

Concurrency Practice and Experience

Volumn 12, Issue 10, 2000, Pages 981-1015

  Coen Porisini, Alberto ^a   Mandrioli, Dino ^b  

^a UNIVERSITY OF SALENTO   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; ENERGY MANAGEMENT; OBJECT ORIENTED PROGRAMMING; PARALLEL PROCESSING SYSTEMS; SCADA SYSTEMS; STEAM CONDENSERS; THERMOELECTRIC POWER PLANTS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE; FORMAL SPECIFICATION LANGUAGE TRIO;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034243265     PISSN: 10403108     EISSN: None     Source Type: Journal    
DOI: 10.1002/1096-9128(20000825)12:10<981::AID-CPE511>3.0.CO;2-7     Document Type: Article

References (28)

1. CORBA: Architecture and Specification. OMG Book, OMG Editor, Framingham, USA, 1995.
2. Booch G. Object oriented analysis and design with applications. Benjamin Cummings, 1994.
3. Rambuagh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice Hall, 1991.
4. Booch G, Jacobson I, Runbaugh J. The unified modeling language for object-oriented development. Documentation set, Rational Rose, 1996.
5. Lano K. Enhancing object oriented methods with formal notations. Theory and Practice of Object Systems 1996; 2(4):247-268.
6. Magee J, Dulay N, Eisenbach S, Kramer J. Specifying distributed software architecture. Proceedings of ESEC '95, September 1995 (Lecture Notes in Computer Science, 989); 137-153.
7. Barbacci M, Weinstock C, Doubleday D, Gardner M, et al. Durra: a structure description language for developing distributed applications. IEE Software Engineering Journal 1993; 8(2):83-94.
8. Ghezzi C, Mandrioli D, Morzenti A. TRIO: a logic language for executable specifications of real-time systems. Journal of Systems and Software 1990; 12(2):107-123.
9. Morzenti A, San Pietro P. Object-oriented logic specifications of time critical systems. ACM TOSEM - Transactions on Software Engineering and Methodologies 1994; 3(1):56-98.
10. CORBAServices. OMG book, OMG editor, Framingham, USA, 1995.
11. CORBAFacilities. OMG book, OMG editor, Framingham, USA, 1995.
12. Capobianchi R, Carcagno D, Coen-Porisini A, Mandrioli D, Morzenti A. A framework architecture for the development of new generation supervision and control systems. Object Oriented Applications Frameworks: Applications and Experiences, Fayad M, Schmidt D (eds.). Wiley, 1999.
13. Ciapessoni E, Coen-Porisini A, Crivelli E, Mandrioli D, Mirandola P, Morzenti A. From formal models to formal based methods: an industrial experience. ACM Transaction on Software Engineering and Methodologies 1999; 8(1):79-113.
14. OpenDREAMS Consortium. PRECON Application Specification Report. Deliv. WP2/T2.2-ENEL-REP/R22-V2, September 1996.
15. Boehm BW. A spiral model of software development and enhancement. IEEE Computer 1988; 21(5):61-72.
16. Alcatel, Hewlett-Packard, Highlander Communications, INPRISE Communications, IONA Technologies, Lockheed Martin Federal Systems, Lucent Technologies, Nortel Networks, Object-Oriented Concepts, SunMicrosystems, Tri-Pacific Software. Real-Time CORBA Joint Revised Submission, OMG TC Document orbos/99-02-12. March 1999.
17. OpenDREAMS Consortium. Consolidated OpenDREAMS Architecture Description. Deliv. WP1/T1.2-AAR-REP/R12b-V1. September 1996.
18. Jackson M. Software Requirements and Specification. Addison Wesley: Reading, MA, 1995.
19. Mandrioli D, Morasca S, Morzenti A. Generating test cases for real-time systems from logic secifications. ACM Transactions on Computer Systems 1995; 13(5).
20. Morasca S, Morzenti A, San Pietro P. Generating functional test cases in-the-large for time-critical systems from logic-based specifications. Proceedings of ISSTA 1996, ACM-SIGSOFT International Symposium on Software Testing and Analysis, San Diego, CA, USA, January 1996.
21. Basso M, Ciapessoni E, Crivelli E, Mandrioli D, et al. Experimenting a logic-based approach to the specification and design of the control system of a pondage power plant. Proceedings of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, 1995; 174-181.
22. Gargantini A, Liberati L, Morzenti A, Zacchetti C. Specifying, validating and testing a semaphore system in the TRIO environment. Proceedings COMPASS 96, Washington, 1996.
23. Coen Porisini A. An environment supporting the execution of TRIO formal specification. Technical Report 96-129, Dipartimento di Elettronica e Informazione, Politecnico di Milano, submitted.
24. San Pietro P, Morzenti A, Morasca S. Generation of execution sequences for modular time critical systems. IEEE TSE - Transactions on Software Engineering 2000; 26(2):128-149.
25. Felder M, Mandrioli D, Morzenti A. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Transcripts on Software Engineering 1994; 20(2):127-141.
26. Alborghetti A, Gargantini A, Morzenti A. Providing automated support to deductive analysis of time critical systems. Presented at ESEC 97, September 22-25, 1997, Zurich, Switzerland.
27. OpenDREAMS-II Consortium. Formalization of OD services. Deliv. WP1/T13-PdM/R13-V1. April 1998.
28. OpenDREAMS-II Consortium. The OpenDREAMS-II proposal. Accepted as project Ep. no. 25262 by the Commission of the European Community, December 1996.