Formal Specification of Distributed Information Systems

J. Vis, Hendrik Brinksma, R.A. de By, R.A. de By

Research output: Contribution to conferencePaperAcademicpeer-review

9 Downloads (Pure)

Abstract

The design of distributed information systems tends to be complex and therefore error-prone. However, in the field of monolithic, i.e. non-distributed, information systems much has already been achieved, and by now, the principles of their design seem to be fairly well-understood. The past decade has shown also remarkable progress in the development and application of formal methods for distributed systems, in particular in the area of protocol systems. For both application areas techniques and tools have been developed that have been accepted by considerable user communities. The project we describe here aims to study the combination of two formalisms that have been (largely) developed at the University of Twente, viz. the process algebraic protocol specification language LOTOS and the object-oriented database specification language TM. Its objective is to combine the strengths of both formalisms and their associated tools for the specification, verification, testing, and design of distributed information systems.
Original languageEnglish
Number of pages12
Publication statusPublished - Jun 1994
Event6th International Conference on Advanced Information Systems Engineering, CAiSE 1994 - Utrecht, Netherlands
Duration: 6 Jun 199410 Jun 1994
Conference number: 6

Conference

Conference6th International Conference on Advanced Information Systems Engineering, CAiSE 1994
Abbreviated titleCAiSE
CountryNetherlands
CityUtrecht
Period6/06/9410/06/94

Fingerprint

Specification languages
Information systems
Network protocols
Formal methods
Specifications
Testing
Formal specification

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • EWI-7355
  • IR-66468

Cite this

Vis, J., Brinksma, H., de By, R. A., & de By, R. A. (1994). Formal Specification of Distributed Information Systems. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.
Vis, J. ; Brinksma, Hendrik ; de By, R.A. ; de By, R.A. / Formal Specification of Distributed Information Systems. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.12 p.
@conference{67082ce8cdf24c8faaa46034d8afac18,
title = "Formal Specification of Distributed Information Systems",
abstract = "The design of distributed information systems tends to be complex and therefore error-prone. However, in the field of monolithic, i.e. non-distributed, information systems much has already been achieved, and by now, the principles of their design seem to be fairly well-understood. The past decade has shown also remarkable progress in the development and application of formal methods for distributed systems, in particular in the area of protocol systems. For both application areas techniques and tools have been developed that have been accepted by considerable user communities. The project we describe here aims to study the combination of two formalisms that have been (largely) developed at the University of Twente, viz. the process algebraic protocol specification language LOTOS and the object-oriented database specification language TM. Its objective is to combine the strengths of both formalisms and their associated tools for the specification, verification, testing, and design of distributed information systems.",
keywords = "DB-OODB: OBJECT-ORIENTED DATABASES, EWI-7355, IR-66468",
author = "J. Vis and Hendrik Brinksma and {de By}, R.A. and {de By}, R.A.",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003105], Extended position paper; 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, CAiSE ; Conference date: 06-06-1994 Through 10-06-1994",
year = "1994",
month = "6",
language = "English",

}

Vis, J, Brinksma, H, de By, RA & de By, RA 1994, 'Formal Specification of Distributed Information Systems' Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands, 6/06/94 - 10/06/94, .

Formal Specification of Distributed Information Systems. / Vis, J.; Brinksma, Hendrik; de By, R.A.; de By, R.A.

1994. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Formal Specification of Distributed Information Systems

AU - Vis, J.

AU - Brinksma, Hendrik

AU - de By, R.A.

AU - de By, R.A.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003105], Extended position paper

PY - 1994/6

Y1 - 1994/6

N2 - The design of distributed information systems tends to be complex and therefore error-prone. However, in the field of monolithic, i.e. non-distributed, information systems much has already been achieved, and by now, the principles of their design seem to be fairly well-understood. The past decade has shown also remarkable progress in the development and application of formal methods for distributed systems, in particular in the area of protocol systems. For both application areas techniques and tools have been developed that have been accepted by considerable user communities. The project we describe here aims to study the combination of two formalisms that have been (largely) developed at the University of Twente, viz. the process algebraic protocol specification language LOTOS and the object-oriented database specification language TM. Its objective is to combine the strengths of both formalisms and their associated tools for the specification, verification, testing, and design of distributed information systems.

AB - The design of distributed information systems tends to be complex and therefore error-prone. However, in the field of monolithic, i.e. non-distributed, information systems much has already been achieved, and by now, the principles of their design seem to be fairly well-understood. The past decade has shown also remarkable progress in the development and application of formal methods for distributed systems, in particular in the area of protocol systems. For both application areas techniques and tools have been developed that have been accepted by considerable user communities. The project we describe here aims to study the combination of two formalisms that have been (largely) developed at the University of Twente, viz. the process algebraic protocol specification language LOTOS and the object-oriented database specification language TM. Its objective is to combine the strengths of both formalisms and their associated tools for the specification, verification, testing, and design of distributed information systems.

KW - DB-OODB: OBJECT-ORIENTED DATABASES

KW - EWI-7355

KW - IR-66468

M3 - Paper

ER -

Vis J, Brinksma H, de By RA, de By RA. Formal Specification of Distributed Information Systems. 1994. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.