Some Models and Tools for Open Systems

Details Some Models and Tools for Open Systems Some Models and Tools for Open Systems

2009-11-17

arxiv.org/abs/0911.3299v1

Computer Science

Logic in Computer Science

This is our invited paper to FIT 2005

Scientific paper

In computer science, there is a distinction between closed systems, whose behavior is totally determined in advance, and open systems, that are systems maintaining a constant interaction with an unspecified environment. Closed systems are naturally modeled by transitions systems. Open systems have been modeled in various ways, including process algebras, I/O automata, ``modules'', and interfaces. Games provide a uniform setting in which all these models can be cast and compared. In this paper, we discuss the features and costs related to the game-based approach to open systems, referring to some of the existing models. Finally, we describe a new model of interface, called sociable interface, which is geared towards easier specification, improved reusability of models, and efficient symbolic implementation.

Affiliated with

Also associated with

No associations

Rating

Some Models and Tools for Open Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Some Models and Tools for Open Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Some Models and Tools for Open Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-650649