Nothing Special   »   [go: up one dir, main page]

skip to main content
Skip header Section
Designing object systems: object-oriented modelling with SyntropyJanuary 1995
Publisher:
  • Prentice-Hall, Inc.
  • Division of Simon and Schuster One Lake Street Upper Saddle River, NJ
  • United States
ISBN:978-0-13-203860-7
Published:05 January 1995
Pages:
389
Skip Bibliometrics Section
Reflects downloads up to 16 Nov 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. Mcneile A and Simons N Protocol Modelling Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (167-196)
  2. Wieringa R (2014). Empirical research methods for technology validation, Journal of Systems and Software, 95, (19-31), Online publication date: 1-Sep-2014.
  3. ACM
    Roubtsova E, Joosten S and Wedemeijer L Behavioural model for a business rules based approach to model services Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, (1-8)
  4. Bejaoui L, Pinet F, Schneider M and Bédard Y (2010). OCL for formal modelling of topological constraints involving regions with broad boundaries, Geoinformatica, 14:3, (353-378), Online publication date: 1-Jul-2010.
  5. McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
  6. McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
  7. ACM
    Ramsin R and Paige R (2008). Process-centered review of object oriented software development methodologies, ACM Computing Surveys (CSUR), 40:1, (1-89), Online publication date: 1-Feb-2008.
  8. ACM
    McNeile A and Roubtsova E CSP parallel composition of aspect models Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, (13-18)
  9. Song I and Lee K Developing state diagrams using a state specialization technique Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications, (86-95)
  10. Pinet F, Duboisset M and Soulignac V (2007). Short communication, Environmental Modelling & Software, 22:8, (1217-1220), Online publication date: 1-Aug-2007.
  11. Shankar M, Sorokine A, Bhaduri B, Resseguie D, Shekhar S and Yoo J Spatio-temporal conceptual schema development for wide-area sensor networks Proceedings of the 2nd international conference on GeoSpatial semantics, (160-176)
  12. Jifeng H, Li X and Liu Z (2006). rCOS, Theoretical Computer Science, 365:1, (109-142), Online publication date: 10-Nov-2006.
  13. Costal D and Gómez C On the use of association redefinition in UML class diagrams Proceedings of the 25th international conference on Conceptual Modeling, (513-527)
  14. Olivé A and Raventós R (2006). Modeling events as entities in object-oriented conceptual modeling languages, Data & Knowledge Engineering, 58:3, (243-262), Online publication date: 1-Sep-2006.
  15. Evermann J The association construct in conceptual modelling – an analysis using the bunge ontological model Proceedings of the 17th international conference on Advanced Information Systems Engineering, (33-47)
  16. Simons A Testing with guarantees and the failure of regression testing in extreme programming Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering, (118-126)
  17. Kuhn W Geospatial semantics Journal on Data Semantics III, (1-24)
  18. Liu Z, He J, Liu J and Li X (2004). Unifying Views of UML, Electronic Notes in Theoretical Computer Science (ENTCS), 101:C, (95-127), Online publication date: 1-Nov-2004.
  19. Ol'khovich L and Koznov D (2019). OCL-Based Automated Validation Method for UML Specifications, Programming and Computing Software, 29:6, (323-327), Online publication date: 1-Nov-2003.
  20. Barbier F, Henderson-Sellers B, Le Parc-Lacayrelle A and Bruel J (2003). Formalization of the Whole-Part Relationship in the Unified Modeling Language, IEEE Transactions on Software Engineering, 29:5, (459-470), Online publication date: 1-May-2003.
  21. Jackson D Object models as heap invariants Programming methodology, (247-268)
  22. Rees D, Stephenson K and Tucker J (2018). The algebraic structure of interfaces, Science of Computer Programming, 49:1-3, (47-88), Online publication date: 1-Dec-2003.
  23. Olivé A Derivation rules in object-oriented conceptual modeling languages Proceedings of the 15th international conference on Advanced information systems engineering, (404-420)
  24. Snoeck M and Michiels C (2019). Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area, Information Systems Frontiers, 4:3, (331-342), Online publication date: 1-Sep-2002.
  25. Harel D and Kupferman O (2002). On Object Systems and Behavioral Inheritance, IEEE Transactions on Software Engineering, 28:9, (889-903), Online publication date: 1-Sep-2002.
  26. Pelechano V, Pastor O and Insfrán E (2019). Automated code generation of dynamic specializations, Data & Knowledge Engineering, 40:3, (315-353), Online publication date: 1-Mar-2002.
  27. Alencar P, Cowan D and Lucena C (2002). A Logical Theory of Interfaces and Objects, IEEE Transactions on Software Engineering, 28:6, (548-575), Online publication date: 1-Jun-2002.
  28. Wirsing M and Knapp A (2002). A formal approach to object-oriented software engineering, Theoretical Computer Science, 285:2, (519-560), Online publication date: 28-Aug-2002.
  29. Jackson D and Waingold A (2001). Lightweight Extraction of Object Models from Bytecode, IEEE Transactions on Software Engineering, 27:2, (156-169), Online publication date: 1-Feb-2001.
  30. Clarke S and Walker R Composition patterns Proceedings of the 23rd International Conference on Software Engineering, (5-14)
  31. Knapman J Business-oriented constraint language Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (47-61)
  32. Knapman J Statistical constraints for EAI Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (78-92)
  33. Cook S The UML family Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (255-264)
  34. Kleppe A and Warmer J Extending OCL to include actions Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (440-450)
  35. Pazzi L Part-whole statecharts for the explicit representation of compound behaviours Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (541-555)
  36. Harel D and Kupferman O On the Behavioral Inheritance of State-Based Objects Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  37. Lano K and Malik N (1999). Mapping Procedural Patterns to Object-Oriented Design Patterns, Automated Software Engineering, 6:3, (265-289), Online publication date: 1-Jul-1999.
  38. ACM
    Woodman M, Griffiths R, Macgregor M, Holland S and Robinson H Exploiting Smalltalk modules in a customizable programming environment Proceedings of the 21st international conference on Software engineering, (65-74)
  39. ACM
    Jackson D and Waingold A Lightweight extraction of object models from bytecode Proceedings of the 21st international conference on Software engineering, (194-202)
  40. ACM
    Clarke S, Harrison W, Ossher H and Tarr P Subject-oriented design Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (325-339)
  41. ACM
    Clarke S, Harrison W, Ossher H and Tarr P (2019). Subject-oriented design, ACM SIGPLAN Notices, 34:10, (325-339), Online publication date: 1-Oct-1999.
  42. Sendall S and Strohmeier A UML-based fusion analysis Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (278-291)
  43. Harel D On the behavior of complex object-oriented systems Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (324-329)
  44. Clark T Typechecking UML static models Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (503-517)
  45. O'Callaghan A (2018). Focus issue on legacy infomation systems and business process engineering, Communications of the AIS, 2:1es, (3-es), Online publication date: 1-Jul-1999.
  46. Hamie A Enhancing the Object Constraint Language for More Expressive Specifications Proceedings of the Sixth Asia Pacific Software Engineering Conference
  47. Mak K, Lau H and Wong S (1999). Object-oriented technologies for automated manufacturing systems development, International Journal of Computer Applications in Technology, 12:2-5, (268-280), Online publication date: 1-Jul-1999.
  48. Macgregor M, Thomas P and Woodman M Recording User Actions in a Smalltalk Programming Environment Proceedings of the Technology of Object-Oriented Languages and Systems
  49. Griffiths R, Woodman M, Holland S, Macgregor M and Robinson H Separable UI Architectures in Teaching Object Technology Proceedings of the Technology of Object-Oriented Languages and Systems
  50. Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
  51. Gil J and Kent S Three dimensional software modelling Proceedings of the 20th international conference on Software engineering, (105-114)
  52. Arnold M and Pedross P Software size measurement and productivity rating in a large-scale software development department Proceedings of the 20th international conference on Software engineering, (490-493)
  53. Wieringa R Traceability and Modularity in Software Design Proceedings of the 9th international workshop on Software specification and design
  54. Jahnke J and Zuendorf A Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling Proceedings of the 9th international workshop on Software specification and design
  55. Harel D and Gery E (2019). Executable Object Modeling with Statecharts, Computer, 30:7, (31-42), Online publication date: 1-Jul-1997.
  56. ACM
    Kent S Constraint diagrams Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (327-341)
  57. ACM
    Kent S (2019). Constraint diagrams, ACM SIGPLAN Notices, 32:10, (327-341), Online publication date: 9-Oct-1997.
  58. Bicarregui J, Lano K and Maibaum T Formalizing Object-Oriented Models in the Object Calculus Proceedings of the Workshops on Object-Oriented Technology, (155-160)
  59. Warmer J, Hogg J, Cook S and Selic B Experience with Formal Specification of CMM and UML Proceedings of the Workshops on Object-Oriented Technology, (216-220)
  60. Harel D and Gery E Executable object modeling with statecharts Proceedings of the 18th international conference on Software engineering, (246-257)
Contributors

Reviews

Murat M. Tanik

Cook and Daniels are longtime users and developers of object technology. As such, they give their book an industrial and European flavor. The emphasis on precision in the introduction and use of object-oriented terminology is one of the strengths of this book. Studying most object-oriented design and methodology books is frustrating because of inconsistency between books and informal presentation of notions. It is not easy to introduce rigor to an area lacking basic formal foundations. The authors take the middle-of-the-road engineering approach by paying attention to precision and the necessary degree of formalism to achieve a practical objective. Therefore, this can be considered a book for software practitioners. I like this book because it does not try to present a rigid set of rules to be precisely followed as a step-by-step methodology of software development. Like any sound engineering approach, it provides a set of techniques and tools and suggests that you can use them in any order to get the job done. The authors recognize that there are at least two schools of thought on software development: “there are two communities which at first hand seem to have remarkably little in common, and yet which are actually trying to solve the same problem. The first community is that of methodology authors who invent informal analysis and design notations. The second is the formal methods community.” The preface states that one of the goals of writing the book, in addition to contributing to the philosophy and practice of object-oriented software development, is “to help build some bridges between these two communities.” The modeling method described in the book, the Syntropy method, is a synthesis of several approaches, including the methods of Rumbaugh and Booch. The book is divided into five parts and three appendices. Parts 1 and 5 are each composed of one chapter. These chapters describe the authors' philosophy of object-oriented method and its practical implications and limitations. The authors believe that effective modeling requires discussing design from three viewpoints—those of an observer, a software specifier, and a software implementor. Following their ecology of software, Part 2 (chapters 2 to 5) covers aspects of modeling the world. Part 3 (chapters 6 to 9) covers techniques for modeling software, and Part 4 (chapters 10 to 12) covers relationships between models, domains, and reuse, which are collectively called system architecture. Three appendices provide summaries of notation, value types (built-in and user-defined), and object identification techniques, respectively. Prospective readers should be prepared to spend considerable time reading and mastering the techniques. This book is not written for the casual reader.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Please enable JavaScript to view thecomments powered by Disqus.

Recommendations