Haim Ed Kilov

Practical Foundations of Business System Specifications Haim Ed Kilov 2003 edition

Marc Notes: Includes bibliographical references and index. Table of Contents: Preface; H. Kilov, K. Baclawski. 1. Service-oriented Business and System Specification: Beyond Object-orientation; L. F. Andrade, J. L. Fiadeiro. 2. Formalization of Situation Awareness; K. Baclawski, M. K. Kokar, C. J. Matheus, J. Letkowski, M. Malczewski. 3. From RM-ODP to the formal behavior representation; P. Balabko, A. Wegmann. 4. Towards the specification of software development processes: An information modeling approach; R. J. Balicki. 5. . NET Contracts: Attaching Specifications to Components; M. Barnett, W. Schulte, N. Tillmann. 6. From Box-and-Line Drawings to Precise Specifications: Using RM-ODP and GRM to Specify Semantics; O. Bernet, H. Kilov. 7. Domain Models of 'The Market' - in Preparation for epsilon-Transaction Systems; D. Bjoirner. 8. Mathematics of UML: Making the Odysseys of UML less dramatic; Z. Diskin. 9. Using Roles to Characterize Model Families; R. B. France, Dae-Kyoo Kim, Eunjee Song, S. Ghosh. 10. Business Modeling: Modeling the Business Modeling and IT Businesses; M. Guttman, H. Kilov. 11. Flow-Service-Quality (FSQ) Engineering for Specification of Complex Systems; A. Hevner, R. Linger, M. Pleszkoch, G. Walton. 12. Describing Architectures Using RM-ODP; T. Kudrass. 13. Extending UML for Agent-Based Systems; J. Odell, H. Van Dyke Parunak, B. Bauer. 14. A Program for Building a State of the Art Enterprise Ontology: Report on Progress; C. Partridge, M. Stefanova. 15. Refactoring of Programs and Specifications; J. Philipps, B. Rumpe. 16. Using Information Modeling to Initiate Business Strategies - A Case Study for the E-Publishing Industry; I. Sack, A. Thalassinidis. 17. Games, Complexity and Interaction: The Role of Games in Computer Science; P. van Emde Boas. Author Index. Index."Publisher Marketing: The essentials of comprehensible specifications of business and of system artefacts ought to be used by, and therefore understandable to, all customers of these specifications - business subject matter experts, decision makers, analysts, IT architects and developers. These documents have to be understood in the same manner by all stakeholders. And, as C. A. R. Hoare observed, only abstraction enables a chief programmer or manager to exert real technical control over his teams, without delving into the morass of technical detail with which his programmers are often tempted to overwhelm him. The book brings together theoreticians and practitioners to report their experience with making semantics precise, clear, concise and explicit in business specifications, business designs, and system specifications. It includes both theoretical and very pragmatic papers based on solid and clearly specified foundations.

Contributor Bio:  Kilov, Haim Kilov is Chief Consulting Architect, Business Modeling and a member of the Strategic Enterprise Solutions.