ISSUE 571

Add Proposal  Add Analysis  Edit Class, Environment, or Release
Number 571
Category enhancement
Synopsis review explicit restrictions in LRM
State open
Class enhancement
Arrival-DateApr 14 2004
Originator Shalom Bresticker <Shalom.Bresticker@motorola.com>
Release 2001b
Description
Many restrictions appear in the LRM.
Some are explicit, for example, "You cannot do such and such".
Others are implicit, "The legal possiblities for this expression are such and
such," which implicitly excludes others.

Reviewing the implicit restrictions is difficult.
But I propose that we review the explicit restrictions to see whether they
should be removed or relaxed.
Many explicit restrictions can be identified by 'negative' language words such
as 'not', 'never', etc.

For example, 12.3.7 says that "The real data type shall not be directly
connected to a port".
That restriction should be reconsidered.

Many of these restrictions have their roots in history, due to limitations of
early implementations,
but not due necessarily to inherent problems in the idea.
They should not blindly be continued in the future.


Fix

Unknown
Unformatted



Hosted by Boyd Technology