Design Decisions on Data and Guards in MSC2000

Among the most important extensions in MSC in the new MSC2000 Standard are data and guards. In this paper some of the design choices that were faced when extending the language with these concepts are presented, and reasons are given why these have been made in the way they were made, and why certain static requirements are present in the language