object-oriented programming; object-oriented methods; formal specification; set theory; Petri nets; set approach; role modeling techniques; graphic notations; role description; dynamic aspects; formal notation; set operations; role binding; set union; set difference; role constraints; set inclusion; role specialisation; set intersection; role compositions; set unions; part role; set notation; formal method; EMS; dynamic description; class/role relationships; class/role structures; Object-Z-like notation; system obligations; Petri net transitions; objects/role instances; system operations
(xsd:string)