Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Today's distributed systems are characterized by interactions-often complex-between many different hardware and software components cooperating and exchanging information. To simplify development of interactive systems and facilitate communication and documentation, experts of varying disciplines employ descriptions, or specifications, of a given system's behavior and/or structure.Specification and Development of Interactive Systems offers a unique approach to program and software development suitable for large distributed systems, with an emphasis on modular system development and systems engineering. The authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The method covers functional requirements, timing, structure, and implementation issues of systems. In addition, the book describes how to connect the models and techniques to tables and diagram-based methods popular in practical systems engineering.Topics and features: * Specification of interface behavior and modular top-down system development * Specification of time and the modeling of hardware/software systems * Interface refinement and the modeling of development steps leading from one level of abstraction to the next * State transition diagrams and tables and the usage of common description techniques, such as found in UMLThis book provides a mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. The reader gains a comprehensive understanding of all fundamental models, techniques, and methods for interactive system design. The book is an essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.
What people are saying - Write a review
We haven't found any reviews in the usual places.
at ion for reformulation in the case of safety
4 Preserving Realizahility hy Composition
uted transmission proving properties
slating Add into the timed frame
JiackBox and GlassBox Views
slating SynchAdd into the timed frame
iteam Boiler 204
iafety and Liveness Properties
Remar Approach Generalizes
Other editions - View all
Specification and Development of Interactive Systems: Focus on Streams ...
Manfred Broy,Ketil Stølen
No preview available - 2001
A/G specification ahout ahove ahstract arhitrary assumption captured hy Chapter communication history component specifications composite specification conditional refinement conjunct constraints data element dataflow languages defined denote descrihe elementary specifications enviroument equational specification example finite Focus specification follows formal formula frame lahels functional composition glass-hox guarantee hasic hecause heen hehavioral refinement helow Hence hetween hinary hlack-hox Hoare logic hody hoth hy Figure I/O history identifiers infinite streams input and output input channel input history input messages input stream interface refinement introduce liveness property logical logical conjunction lossy memory component merge n-tuple natural numhers nondeterministic ohtained operator oracle output channel output histories output messages output streams possihle predicate logic prohlem readahility realizahle refinement steps replication represented hy safety property Section semantics sender specified component StrCelli stream processing syntactic interface tahle ticks time-synchronous transition diagrams transmission tuple underspecification unhounded huffer universal quantification unrealizahle variahles weakly causal