iCom is a cooperative EU-project between the Vienna University and the Masaryk University in Brno to promote and research constructive, international communication in the context of Information- and Communication Technology (ICT). On September 26-27th I was invited to join the 3rd iCom workshop in Chvalovice.

The workshop was focused on communication (obstacles, transparency and openness) and cooperation in IT projects, computer-supported communication as well as agile methods and characteristics of well-functioning teams. At the end of the workshop some participants were asked to comment on the importance of communication and the value the workshop provided. This is my comment:

I found the workshop very valuable and I look forward to further participating in the project.

In meiner PhD Forschungsarbeit untersuchte ich, wie Inkonsistenzen in Z Spezifikationen konstruktiv behandelt werden können, anstatt diese frühzeitig zu beseitigen. Ich betrachtete nicht-klassische Logiken, wie z.B. parakonsistente Logiken, um logische Schlussfolgerungen auch bei Inkonsistenzen durchführen zu können. Konkret verwendete ich Anthony Hunter’s quasi-klassische Logik, um inkonsistente Z Spezifikationen zu analysieren. Im Rahmen dieser Forschung habe ich auch den Prozess der Verfeinerung (Refinement) von inkonsistenten Z Spezifikationen untersucht.

Weiterhin betrachtete ich auch das Problem von unvollständigen Spezifikationen. Wir verstanden Unvollständigkeit als Möglichkeit, den Spezifikationsentwicklern mehr Freiheiten beim Schreiben von Spezifikationen zu geben. Hier entwickelte ich eine neue Z Schema Darstellung, um Unvollständigkeiten explizit hervorzuheben. Ausserdem entwickelte ich auch hier Regeln für die Verfeinerung dieser Z Spezifikationen.

Für meine Forschung arbeitete ich mit Eerke Boiten und John Derrick zusammen.

Veröffentlichungen


Inconsistency and Underdefinedness in Z Specifications. Ralph Miarka. Ph.D. Thesis, University of Kent, Canterbury, Kent CT2 7NF, UK, December 2002. (Postscript (1.5MB): Thesis.ps.gz, PDF (157MB): Thesis.pdf, PDF ZIP’ed (26MB): Thesis.pdf.zip)

Handling Inconsistencies in Z using Quasi-Classical Logic. Ralph Miarka, John Derrick and Eerke Boiten. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson, editors, ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users, volume 2272 of Lecture Notes in Computer Science, pages 204-225. Springer-Verlag Berlin, January 2002. (Postscript: ZB2002.ps.gz, PDF (15MB): ZB2002.pdf, PDF ZIP’ed (2.5MB): ZB2002.pdf.zip)

Guards, Preconditions, and Refinement in Z. Ralph Miarka, Eerke Boiten, and John Derrick. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag Berlin, August 2000. (Postscript: ZB2000.ps.gz, PDF (11MB): ZB2000.pdf,
PDF ZIP’ed (2MB): ZB2000.pdf.zip)