Abstract Machine Model In Software Engineering