Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What do “parameters” in abstract actions mean?

April 26, 2017abstract Actions mean parameters

0

10 Posted

What do “parameters” in abstract actions mean?

1 Answer

0

10 Posted

They do not directly represent the actual data passed back and forth in the code. Instead, they are an abstraction of any correct information exchange protocol that may be used in any correct implementation. For example, you may make a selection in a text editor by some sequence of: At the abstract level you might model an action: select (Selection) The refinement relation must document how the concept of Selection is related to the data exchanged. For example, if we model Selection by a start and end position, we would document how the start and end of the (abstract) selection is defined by the number and parameters of the up, down, … forward(n), back(m) actions. And this information would be crucial for inspections, design reviews, and testing.