- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- An organizational communication protocol based on speech...
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
An organizational communication protocol based on speech acts : design, verification and formal specifications Zeng, Tao
Abstract
Current technologies are not sufficient to support the full spectrum of organizational communications because organizations are open systems and organizational communication is rather complex (e.g., involves negotiations). Speech Acts is a branch of Linguistics which views speaking to be the same as acting. Recently, Speech Acts theory has been introduced into the design of computer systems, like organizational information systems (OISs), that require complex interactions among themselves. By doing so, it is hoped that actions can be incorporated into man-machine and machine-machine communications. In this thesis, one tractable portion of the speech act theory was identified which can provide a basis for the automation of a class of semi-structured communications (e.g., simple negotiations) in a distributed organizational environment. This portion of rather abstract Linguistics theory was transformed into a concrete application layer communication protocol (namely, the SACT protocol), which was then validated using a protocol validation tool (i.e., VALIRA), specified in a standard formal specification language LOTOS, and simulated using a protocol development toolkit (i.e., the Ottawa University LOTOS Toolkit). This protocol can be used by computer-based organizational systems to automate simple negotiations, as well as recurring tasks of collecting information in an organizational environment. In addition, a communication scheme (called SACT network) was added to the Woo and Lochovsky's MOAP (Micro Organization Activity Processor) model to automate inter-micro-organizational communications using the SACT protocol. The usefulness of this scheme is demonstrated through an example application.
Item Metadata
Title |
An organizational communication protocol based on speech acts : design, verification and formal specifications
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
1990
|
Description |
Current technologies are not sufficient to support the full spectrum of organizational communications because organizations are open systems and organizational communication is rather complex (e.g., involves negotiations). Speech Acts is a branch of Linguistics which views speaking to be the same as acting. Recently, Speech Acts theory has been introduced into the design of computer systems, like organizational information systems (OISs), that require complex interactions among themselves. By doing so, it is hoped that actions can be incorporated into man-machine and machine-machine communications. In this thesis, one tractable portion of the speech act theory
was identified which can provide a basis for the automation of a class of semi-structured communications (e.g., simple negotiations) in a distributed organizational environment. This portion of rather abstract Linguistics theory
was transformed into a concrete application layer communication protocol
(namely, the SACT protocol), which was then validated using a protocol
validation tool (i.e., VALIRA), specified in a standard formal specification
language LOTOS, and simulated using a protocol development toolkit (i.e., the Ottawa University LOTOS Toolkit). This protocol can be used by computer-based organizational systems to automate simple negotiations, as well as recurring tasks of collecting information in an organizational environment.
In addition, a communication scheme (called SACT network) was added to the Woo and Lochovsky's MOAP (Micro Organization Activity Processor)
model to automate inter-micro-organizational communications using the SACT protocol. The usefulness of this scheme is demonstrated through an example application.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2010-10-21
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
DOI |
10.14288/1.0051962
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.