Algebraic System Specification and Development

Hans-Dietrich Haasis is full professor for Business Administration, Production Management and Industrial Economics at the University of Bremen and chairman of Business Administration, Production-Management and Industrial Economics, University of Bremen, and director of the ISL - Institute of Shipping Economics and Logistics, Bremen. He held lectures at the Ecole Nationale Superieure de Petrole et des Moteurs, Paris Rueil-Malmaison, at the University Eichstatt-Ingolstadt, and at the Private University Witten-Herdecke. He also was invited to give lectures at the St. Petersburg State University of Economics and Finance, and the Technical University of Changcha, China.Hans-Jorg Kreowski is professor for Theoretical Computer Science at the University of Bremen. His main research topics are graph transformation, formal modelling and their applications in computer science and logistics. He (co)-authored and (co)-edited 15 books and published more than 120 scientific papers.Bernd Scholz-Reiter was founder and head of the Fraunhofer Application Center for Logistics Systems Planning and Information Systems at Cottbus. Since November 2000 he is a full professor and chair holder of the chair of Planning and Control of Production Systems (PSPS) at the University of Bremen where he also serves as director of the Bremen Institute of Industrial Technology and Applied Work Science (BIBA). He was initiator and vice-speaker of the research group on Autonomous Control of Logistic Processes, speaker of the Bremen Research Cluster for Dynamics in Logistics as well as speaker of the International Graduate School for Dynamics in Logistics. Scholz-Reiter is an ordinary member of theBerlin-Brandenburg Academy of Sciences and Humanities, an ordinary member of acatech, the Council for Engineering Sciences at the Union of the German Academies of Sciences and Humanities; BESIDE OTHER NATIONAL MEMBERSHIIPS he is a member of CIRP, the International Institution for Production Engineering Research, a fellow of the European Academy of Industrial Management (AIM) and an Advisory Board member of the Schlesinger Laboratory at TECHNION - Israel Institute of Technology, Haifa, Israel, as well as a member of the Scientific Advisory Board of the German Logistics Association (BVL). Professor Scholz-Reiter serves as vice president of the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG). He is editor of the professional journals Industrie-Management and PPS-Management and member of the editorial board of the scientific International Journal Production Planning & Control. He is author and co-author of more than 250 scientific publications..