[news.announce.conferences] CFP: HICSS-23 - Extended Transaction Models

kaiser@westend.cs.columbia.edu (Gail Kaiser) (05/12/89)

		CALL FOR PAPERS AND REFEREES

  HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES - 23

	       Extended Transaction Models

	  KAILUA-KONA, HAWAII - 2-5 JANUARY 1990

The Software Track of HICSS-23 will contain a minitrack on
Extended Transaction Models consisting of three paper
sessions and a forum, conducted in a one-day workshop-like
setting.  The classical transaction model is based on
failure atomicity for crash recovery and serializability for
concurrency control, but these properties are too weak for
some applications and too strong for others.  Thus, we use
the term ``transaction'' loosely to encompass facilities
that support some subset of fault tolerance, controlled
concurrent access to data, commitment of a consistent set of
changes, user-control over commit and abort, and nested
activities over a wide range of traditional and new
application areas, including but not limited to financial
services, airline reservations, medical informatics,
knowledge-based systems, CAD/CAM systems, software
development environments and real-time systems.

Extended transaction models might be based on the semantics
of abstract data types, objects, tools, etc., might
incorporate transient and/or persistent versions, might
involve locking, validation or other kinds of protocols,
might be centralized or decentralized, might support short
or long-duration activities, might apply at varying
granularities, might be closely coupled with scheduling
policies and performance concerns, or might mix and match
several fault tolerance or concurrency control policies.
Participation is invited from researchers and developers in
programming languages, operating systems, database systems,
software engineering, office automation and other areas
concerned with devising and applying extended transaction
models for advanced applications.

Papers may be theoretical, conceptual, tutorial or
descriptive in nature.	Those papers selected for
presentation will appear in the Conference Proceedings,
which is published by the IEEE Computer Society.  HICSS-23
is sponsored by the University of Hawaii in cooperation with
the ACM, the Computer Society, and the Pacific Research
Institute for Information Systems and Management (PRIISM).
Submissions are solicited in:

     o	 Formal and informal extended transaction models.
     o	 Implementation techniques for new models.
     o	 Evaluation of classical and extended models for new
	 application areas.
     o	 Performance studies comparing transaction models.
     o	 Design of new languages and systems that support a
	 new transaction model.
     o	 Practical experiences with languages and systems
	 based on extended transaction models.
     o	 Novel applications for transaction models.

INSTRUCTIONS FOR SUBMITTING PAPERS

Manuscripts should be 22-26 typewritten, double-spaced pages
in length.  Do not send submissions that are significantly
shorter or longer than this.  Papers must not have been
previously presented or published, nor currently submitted
for journal publication.  Each manuscript will be reviewed
by four referees.  Manuscripts should have a title page that
includes the title of the paper, full name of its author(s),
affiliation(s), complete physical and electronic
address(es), telephone number(s) and a 300-word abstract of
the paper.

DEADLINES
o  Six copies of the manuscript are due by 5 June 1989.
o  Notification of accepted papers by 31 August 1989.
o  Accepted manuscripts, camera-ready, are due by 1 October 1989.

SEND SUBMISSIONS AND QUESTIONS TO
  Prof. Gail E. Kaiser
  Columbia University
  450 Computer Science Building
  New York, NY 10027
  (212) 854-3856
  e-mail: kaiser@columbia.edu