Sciweavers

Share
FORTE
1997
8 years 7 months ago
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto...
FORTE
1997
8 years 7 months ago
A Framework for Distributed Object-Oriented Testing
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheu...
FORTE
1997
8 years 7 months ago
Automatic Checking of Aggregation Abstractions Through State Enumeration
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
Seungjoon Park, Satyaki Das, David L. Dill
FORTE
1997
8 years 7 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
Marek Musial
FORTE
1997
8 years 7 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
FORTE
1997
8 years 7 months ago
A Hierarchy of Communication Models for Message Sequence Charts
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
André Engels, Sjouke Mauw, Michel A. Renier...
books