Representing Static Access Control in Object Oriented Software Engineering