This book brings together enterprise modeling and software specification, providing a conceptual background and methodological guidelines that concern the design of enterprise …