Skip to main content

OCE: An Online Colaborative Editor

  • Conference paper
  • 1124 Accesses

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7654)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Simultaneous debugging of software faults. Journal of Systems and Software 84(4), 573–586 (2011)

    CrossRef  Google Scholar 

  2. 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)

    CrossRef  Google Scholar 

  3. Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods... Ten years later. Computer 39(1), 40–48 (2006)

    CrossRef  Google Scholar 

  4. 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)

    CrossRef  Google Scholar 

  5. 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)

    CrossRef  Google Scholar 

  6. Gobby a collaborative text editor, http://gobby.0x539.de/trac/wiki/WikiStart

  7. 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)

    CrossRef  Google Scholar 

  8. 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)

    CrossRef  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    CrossRef  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    CrossRef  Google Scholar 

  15. 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)

    CrossRef  Google Scholar 

  16. 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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)