Abstract
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly to a software system in the area of CSCW (Computer Supported Cooperative Work). More specifically we consider a product data management (PDM) cooperative system which has been developed by the company Think3 in Bologna, ITALY (www.think3.com). In the area of CSCW, the automatic enforcing of desired interactions among the components forming the system requires the ability to properly manage the dynamic interactions of the components. Moreover once a customer acquires a CSCW system, the vendor of the CSCW system has to spend many further resources in order to integrate the CSCW system with the client applications used by the customer organization. Thus the full automation of the phase of integration code development has a great influence for a good setting of a CSCW system on the market. We present the application of our approach and we describe our experience in automatic derivation of the code which integrates the components forming the PDM cooperative system above mentioned. The case study we treat in this paper represent the first attempt to, successfully, apply Synthesis in real-scale contexts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ThinkTeam overview, http://www.think3.it/m/en/tt8.4_datasheet_en.pdf
Itu telecommunication standardisation sector, itu-t reccomendation z.120. message sequence charts (msc 1996), Geneva (1996)
Uml2 superstructure final adopted specification. ptc/03-07-06 document (August. 2003), http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML
Edmund, O.G., Clarke Jr., M., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2001)
Grudin, J.: Computer-supported cooperative work: History and focus. IEEE Computer Journal 27(5), 19–26 (1994)
Inverardi, P., Tivoli, M.: Failure-free connector synthesis for correct components assembly. In: Specification and Verification of Component-Based Systems (SAVCBS 2003) - Workshop at ESEC/FSE 2003, Helsinki, Finland, September 1-2 (2003)
Inverardi, P., Tivoli, M.: Automatic synthesis of deadlock free connectors for com/dcom applications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE, September 2001, ACM Press, Vienna (2001)
Inverardi, P., Tivoli, M.: Software Architecture for Correct Components Assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 44–51. Springer, Heidelberg (2003)
Koch, M.: Design issues and model for a distributed multi-user editor. Computer Supported Cooperative Work, International Journal 5(1) (1996)
Koch, M., Kock, J.: Using component technology for group editors - the iris group editor environment. In: Proc. Workshop on Object Oriented Groupware Platforms, September 1997, pp. 44–49 (1997)
Inverardi, P., Tivoli, M.: 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)
Inverardi, P., Tivoli, M.: Deadlock-free software architectures for com/dcom applications. The Journal of Systems and Software. Journal No. 7735 (65/3), 173–183 (2003)
Platt, D.S.: Understanding COM+. Microsoft Press, Redmond (1999)
Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna (September 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tivoli, M., Inverardi, P., Presutti, V., Forghieri, A., Sebastianis, M. (2004). Correct Components Assembly for a Product Data Management Cooperative System. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2004. Lecture Notes in Computer Science, vol 3054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24774-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24774-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21998-9
Online ISBN: 978-3-540-24774-6
eBook Packages: Springer Book Archive