TY - GEN
T1 - Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts
AU - Broy, M.
AU - Krüger, I.
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998
Y1 - 1998
N2 - We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a distributed system. We suggest the use of interaction interfaces for the description not of the behaviour of a single component in isolation but of the interface, the co-operation, between two or more components that are interacting within a distributed system. Typical examples are the interaction between an embedded system and its environment or the interaction between a sender and a receiver in a communication protocol. An interaction interface can be formally described by predicates characterising sets of interaction histories. We understand the specification of interaction histories as a typical step in system development that prepares the decomposition of a system into interacting subcomponents. After fixing the distribution structure of the system, an interaction interface is worked out that describes how the introduced subcomponents interact. In a successive development step we systematically derive the individual component specifications from the interface description. We show how such an interaction interface can be decomposed systematically into component specifications.
AB - We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a distributed system. We suggest the use of interaction interfaces for the description not of the behaviour of a single component in isolation but of the interface, the co-operation, between two or more components that are interacting within a distributed system. Typical examples are the interaction between an embedded system and its environment or the interaction between a sender and a receiver in a communication protocol. An interaction interface can be formally described by predicates characterising sets of interaction histories. We understand the specification of interaction histories as a typical step in system development that prepares the decomposition of a system into interacting subcomponents. After fixing the distribution structure of the system, an interaction interface is worked out that describes how the introduced subcomponents interact. In a successive development step we systematically derive the individual component specifications from the interface description. We show how such an interaction interface can be decomposed systematically into component specifications.
UR - http://www.scopus.com/inward/record.url?scp=84883819990&partnerID=8YFLogxK
U2 - 10.1109/ICFEM.1998.730565
DO - 10.1109/ICFEM.1998.730565
M3 - Conference contribution
AN - SCOPUS:84883819990
T3 - Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998
SP - 2
EP - 13
BT - Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998
A2 - Hinchey, Michael G.
A2 - Liu, Shaoying
A2 - Staples, John
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2nd International Conference on Formal Engineering Methods, ICFEM 1998
Y2 - 9 December 1998 through 11 December 1998
ER -