Supporting dynamic process specifications using communication based processes

S. Inoue, Mizuho Iwaihara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed in parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.

Original languageEnglish
Title of host publicationProceedings of the Annual Hawaii International Conference on System Sciences
PublisherIEEE Computer Society
Volume2002-January
ISBN (Print)0769514359
DOIs
Publication statusPublished - 2002
Externally publishedYes
Event35th Annual Hawaii International Conference on System Sciences, HICSS 2002 - Big Island, United States
Duration: 2002 Jan 72002 Jan 10

Other

Other35th Annual Hawaii International Conference on System Sciences, HICSS 2002
CountryUnited States
CityBig Island
Period02/1/702/1/10

Fingerprint

Specifications
Communication
Chemical analysis

Keywords

  • Collaborative work
  • Control systems
  • Disk recording
  • Electronic mail
  • Environmental management
  • Humans
  • Informatics
  • Information science
  • Process design
  • Workflow management software

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Inoue, S., & Iwaihara, M. (2002). Supporting dynamic process specifications using communication based processes. In Proceedings of the Annual Hawaii International Conference on System Sciences (Vol. 2002-January). [994507] IEEE Computer Society. https://doi.org/10.1109/HICSS.2002.994507

Supporting dynamic process specifications using communication based processes. / Inoue, S.; Iwaihara, Mizuho.

Proceedings of the Annual Hawaii International Conference on System Sciences. Vol. 2002-January IEEE Computer Society, 2002. 994507.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Inoue, S & Iwaihara, M 2002, Supporting dynamic process specifications using communication based processes. in Proceedings of the Annual Hawaii International Conference on System Sciences. vol. 2002-January, 994507, IEEE Computer Society, 35th Annual Hawaii International Conference on System Sciences, HICSS 2002, Big Island, United States, 02/1/7. https://doi.org/10.1109/HICSS.2002.994507
Inoue S, Iwaihara M. Supporting dynamic process specifications using communication based processes. In Proceedings of the Annual Hawaii International Conference on System Sciences. Vol. 2002-January. IEEE Computer Society. 2002. 994507 https://doi.org/10.1109/HICSS.2002.994507
Inoue, S. ; Iwaihara, Mizuho. / Supporting dynamic process specifications using communication based processes. Proceedings of the Annual Hawaii International Conference on System Sciences. Vol. 2002-January IEEE Computer Society, 2002.
@inproceedings{5e1de25d1ce24b3b9a4cf8d26e23041b,
title = "Supporting dynamic process specifications using communication based processes",
abstract = "In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed in parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.",
keywords = "Collaborative work, Control systems, Disk recording, Electronic mail, Environmental management, Humans, Informatics, Information science, Process design, Workflow management software",
author = "S. Inoue and Mizuho Iwaihara",
year = "2002",
doi = "10.1109/HICSS.2002.994507",
language = "English",
isbn = "0769514359",
volume = "2002-January",
booktitle = "Proceedings of the Annual Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Supporting dynamic process specifications using communication based processes

AU - Inoue, S.

AU - Iwaihara, Mizuho

PY - 2002

Y1 - 2002

N2 - In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed in parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.

AB - In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed in parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.

KW - Collaborative work

KW - Control systems

KW - Disk recording

KW - Electronic mail

KW - Environmental management

KW - Humans

KW - Informatics

KW - Information science

KW - Process design

KW - Workflow management software

UR - http://www.scopus.com/inward/record.url?scp=84948669766&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84948669766&partnerID=8YFLogxK

U2 - 10.1109/HICSS.2002.994507

DO - 10.1109/HICSS.2002.994507

M3 - Conference contribution

SN - 0769514359

VL - 2002-January

BT - Proceedings of the Annual Hawaii International Conference on System Sciences

PB - IEEE Computer Society

ER -