Quote: a system behavior is an alternating sequence of states (interface) and agents (system or environment)

Quotation Skeleton

We view a specification as a formal description … the interface at some instance. It is necessary … [p. 78] Instead of partitioning state components, we assume … environment agents and system agents. A system execution … being responsible for the change to the next …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: a specification is a formal description of the interface between a system and its environment

Related Topics

Topic: state machine (67 items)
Topic: requirement specification by behaviors (16 items)
Topic: Petri net (44 items)
Group: requirement specification   (11 topics, 306 quotes)
Topic: evaluation in an environment (34 items)