Patent ID: 7191429

Claim:
A computational method for modeling and storing specifications of a software model, comprising: providing a first computer module, specifying an architectural definition of at least one architectural layer for a software model; storing in a computer-readable medium said architectural definition of said at least one architectural layer; providing a second computer module, specifying a definition of at least one property of at least one element type of said software model; storing in said computer-readable medium the definition of said at least one element type of said software model; providing a third computer module, establishing relations between the definition of said at least one property of said software model to said at least one architectural layer; storing in said computer-readable medium said relations; and providing a fourth computer module and a man-machine interface, automatically providing assistance in specifying property contents of said at least one property using said at least one architectural layer for which said relations are established with said at least one property.