Correct components assembly for a product data management cooperative system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3054, Issue , 2004, Pages 84-99

  Tivoli, Massimo ^a   Inverardi, Paola ^a   Presutti, Valentina ^b   Forghieri, Alessandro ^c   Sebastianis, Maurizio ^c  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c Think3 Company   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ASSEMBLY; COMPUTER SUPPORTED COOPERATIVE WORK; GROUPWARE; SOFTWARE ENGINEERING;

AUTOMATIC ASSEMBLY; AUTOMATIC DERIVATION; CLIENT APPLICATIONS; CO-OPERATIVE SYSTEMS; CSCW(COMPUTER-SUPPORTED COOPERATIVE WORK); DYNAMIC INTERACTION; PRODUCT DATA MANAGEMENT; SOFTWARE COMPONENT;

INFORMATION MANAGEMENT;

EID: 18544370124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24774-6_9     Document Type: Article

References (14)

1. ThinkTeam overview - http://www.think3.it/m/en/tt8.4_datasheet_en.pdf.
2. Itu telecommunication standardisation sector, itu-t reccomendation z.120. message sequence charts. (msc'96). Geneva 1996.
3. Uml2 superstructure final adopted specification. ptc/03-07-06 document http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML, August 2003.
4. O. G. Edmund M. Clarke, Jr. and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, London, England, 2001.
5. J. Grudin. Computer-supported cooperative work: History and focus. In IEEE Computer Journal, 27(5):19-26, 1994.
6. P. Inverardi and M. Tivoli. Failure-free connector synthesis for correct components assembly. Specification and Verification of Component-Based Systems (SAVCBS'03) - Workshop at ESEC/FSE 2003. September 1-2, 2003. Helsinki, Finland.
7. P. Inverardi and M. Tivoli. Automatic synthesis of deadlock free connectors for com/dcom applications. In ACM Proceedings of the joint 8th ESEC and 9th FSE, ACM Press, Vienna, Sep 2001.
8. P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. - Chapter In Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. Springer, Volume: LNCS 2804, September, 2003.
9. M. Koch. Design issues and model for a distributed multi-user editor. Computer Supported Cooperative Work, International Journal, 5(1), 1996.
10. M. Koch and J. Kock. Using component technology for group editors - the iris group editor environment. In In Proc. Workshop on Object Oriented Groupware Platforms, pages 44-49, Sep 1997.
11. P.Inverardi and M.Tivoli. Automatic failures-free connector synthesis: An example, in Monterey 2002 Workshop Proceedings: Radical Innovations of Software and Systems Engineering in the Future, Universita' Ca' Foscari di Venezia, Dip. di Informatica, Technical Report CS-2002-10, September 2002.
12. P.Inverardi and M.Tivoli. Deadlock-free software architectures for com/dcom applications. The Journal of Systems and Software. Journal No. 7735, Vol./Iss. 65/3, pp. 173- 183, 2003.
13. D. S. Platt. Understanding COM+. Microsoft Press, 1999.
14. S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna, Sep 2001.