workshops |
monday |
31 |
Behavioral Semantics of OO Business and System Specifications |
convention centre room 16 |
Business and system specifications are technical documents used to describe and understand businesses and specifically business rules and the computer systems that have to support (some of) these rules. Specifications have to express this understanding in a clear, precise, and explicit way, in order to act as common ground between business domain experts, analysts and software developers. They also provide the basis for reuse of concepts and constructs ("patterns") common to all, or a large number of, businesses, and in doing so save intellectual effort, time and money. They introduce precision much earlier than in coding, so that business people - and not the developers - define all business rules. Adequate specification approaches substantially ease the elicitation of business requirements during walkthroughs with business customers, and support clear separation of concerns known since Adam Smith as division of labor. Different audiences are interested in different aspects of "common business components", and correspondingly may want to buy or sell these components based on different criteria.
The aim of the workshop is to bring together theoreticians and practitioners to report their experience with making semantics precise (perhaps even formal), clear, concise and explicit in OO business specifications, business designs, and system specifications. Both academic (teaching!) and industrial "war stories" will be particularly appreciated. Experience in the usage of various (object-oriented) modeling approaches for these purposes would be of special interest, as would experience in explicit traceability of semantics between a business specification, business design, and a system specification.
Bernhard Rumpe, Institut fuer Informatik, Technische Universitaet Muenchen
Email: rumpe@informatik.tu-muenchen.de
Haim Kilov, Merrill Lynch
Ian Simmonds, IBM T.J.
Watson Research Center