Abstract
In this paper we present the development of an Online Collaborative Editor (OCE) software system. It allows several people, to edit and share computer files using different devices, such as mobiles, PDAs in an easy way.
We use formal methods in order to automatize and describe OCE. Its formalism is very suitable to specify time requirements (both time consumption due to the performance of tasks and timeouts) as well as to represent data communication among different components of the system.
This exercise convinced us that a formal approach to develop complex systems can facilitate some of the development phases. In particular, the testing and debugging phases, more precisely, how to chose those tests more suitable to be applied, is simplified since tests are automatically extracted from the specification.
Keywords
- Cooperative Systems
- Software Development
- Collective Intelligence
- Social Editing
Research partially supported by the European project TOCE: Testing Online Colaborative Editors, funded by the Bilateral Luso-Spanish Programme and by the the Spanish MCYT project TESIS project (TIN2009-14312-C02-01).
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Simultaneous debugging of software faults. Journal of Systems and Software 84(4), 573–586 (2011)
Benharref, A., Dssouli, R., Serhani, M.A., En-Nouaary, A., Glitho, R.: New Approach for EFSM-Based Passive Testing of Web Services. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 13–27. Springer, Heidelberg (2007)
Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods... Ten years later. Computer 39(1), 40–48 (2006)
Calvo, R.A., O’Rourke, S.T., Jones, J., Yacef, K., Reimann, P.: Collaborative writing support tools on the cloud. IEEE Transactions on Learning Technologies 4, 88–97 (2011)
di Lucca, G.A., Fasolino, A.R.: Testing web-based applications: The state of the art and future trends. Information & Software Technology 48(12), 1172–1186 (2006)
Gobby a collaborative text editor, http://gobby.0x539.de/trac/wiki/WikiStart
Goderbauer, M., Goetz, M., Grosskopf, A., Meyer, A., Weske, M.: Syncro - Concurrent Editing Library for Google Wave. In: Benatallah, B., Casati, F., Kappel, G., Rossi, G. (eds.) ICWE 2010. LNCS, vol. 6189, pp. 510–513. Springer, Heidelberg (2010)
Gogolla, M.: Benefits and Problems of Formal Methods. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 1–15. Springer, Heidelberg (2004)
Herrick, D.R.: Google this!: using google apps for collaboration and productivity. In: 37th Annual ACM SIGUCCS Fall Conference, SIGUCCS 2009, pp. 55–64. ACM (2009)
Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys 41(2) (2009)
Hinchey, M.G.: Confessions of a formal methodist. In: 7th Australian Workshop on Safety-Critical Systems and Software, SCS 2002, pp. 17–20. Australian Computer Society (2002)
Imine, A.: Coordination Model for Real-Time Collaborative Editors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 225–246. Springer, Heidelberg (2009)
Lavinia Ignat, C., Norrie, M.C.: Customizable collaborative editor relying on treeopt algorithm. In: Proc. of the European Conf. of Computer-supported Cooperative Work, pp. 315–334. Kluwer Academic Publishers (2003)
Merayo, M.G., Núñez, M., Rodríguez, I.: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 372–387. Springer, Heidelberg (2006)
Núñez, M., Rodríguez, I.: Conformance Testing Relations for Timed Systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 103–117. Springer, Heidelberg (2006)
Rosenblum, D.S.: Formal methods and testing: why the state-of-the art is not the state-of-the practice. ACM SIGSOFT Software Engineering Notes 21(4), 64–66 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrés, C., Abreu, R., Núñez, A. (2012). OCE: An Online Colaborative Editor. In: Nguyen, NT., Hoang, K., Jȩdrzejowicz, P. (eds) Computational Collective Intelligence. Technologies and Applications. ICCCI 2012. Lecture Notes in Computer Science(), vol 7654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34707-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-34707-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34706-1
Online ISBN: 978-3-642-34707-8
eBook Packages: Computer ScienceComputer Science (R0)
