Practical Foundations of Business System Specifications (Hardcover)

Haim Kilov

ISBN 10: 1402014805 / ISBN 13: 9781402014802

Editore: Kluwer Academic Publishers, New York, NY, 2003

Riguardo questo articolo

Hardcover. 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. These seemingly different papers address different aspects of a single problem - they are all about understanding of business enterprises and of information systems (computer-based or not) that these enterprises rely upon.A substantial number of papers demonstrate that good business (and IT) specifications ought to start with the stable basics of the relevant business domains, thus providing a foundation for describing and evaluating the details of apparently "always changing" requirements. "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Codice articolo 9781402014802

Dati bibliografici

• Titolo: Practical Foundations of Business System Specifications (Hardcover)
• Editore: Kluwer Academic Publishers, New York, NY
• Data di pubblicazione: 2003
• Lingua: Inglese
• ISBN 10: 1402014805
• ISBN 13: 9781402014802
• Rilegatura: Hardcover
• Condizione: new

Descrizione articolo

Riassunto

"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica­ tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time.

Contenuti

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. Bjøirner. 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.