Matches in SemOpenAlex for { <https://semopenalex.org/work/W2494370501> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2494370501 abstract "The complexity of modeling object-oriented systems manifests itself in the complex interactions between objects that collaborate to provide functionality. There exist at least four weaknesses in current methodologies for describing interactions: (1) Level of Detail: Interactions are not specified with enough information to properly check for consistency and completeness. (2) Interaction Mechanism: Since interactions are defined in terms of message passing, one cannot identify dynamic contexts to ensure proper usage of participating objects. (3) Formality of Methods: The semantics of current methodologies are not defined formally thereby restricting reasoning about interactions. (4) Reusable Patterns of Interactions: Interactions allow for large-scale reuse. Unfortunately current methodologies do not support identifying or modeling such patterns.This research develops DynaSpecs, a specification framework for describing the dynamic model of object interactions. A DynaSpec describes the minimum requirements for objects to participate in the interaction in terms of needed methods and attributes. The actual interaction behavior is defined in terms of a finite state machine. DynaSpecs allow pre- and post-conditions to be specified for transitions.The semantics of DynaSpecs is history based. Each operation is interpreted by the proper interaction state machine, and causes a state transition. Therefore, dynamic behavior can be transformed into a sequence of operations whose effect can be described in terms of state changes. A denotational framework is used to capture these semantics. The denotational semantics are realized by an executable implementation in MLDynaSpecs tackles the above four problems as follows: (1) Level of Detail: It allows for pre- and post-conditions on transitions and defines attributes for participating objects to facilitate consistency and completeness checks. (2) Interaction Mechanism: Besides message passing, it provides dynamic encapsulation of participating objects to enforce invariants. It also employs shared variables and methods between objects to model interaction. (3) Formality of Methods: The semantics of DynaSpecs is formally defined to allow reasoning about interactions. (4) Reusable Patterns of Interactions: DynaSpecs supports reuse and abstraction of interactions by modeling them as parameterized first-class objects." @default.
- W2494370501 created "2016-08-23" @default.
- W2494370501 creator A5008264171 @default.
- W2494370501 date "1996-01-01" @default.
- W2494370501 modified "2023-09-23" @default.
- W2494370501 title "Dynaspecs: describing object interactions in object-oriented analysis and design as first class citizens" @default.
- W2494370501 hasPublicationYear "1996" @default.
- W2494370501 type Work @default.
- W2494370501 sameAs 2494370501 @default.
- W2494370501 citedByCount "0" @default.
- W2494370501 crossrefType "journal-article" @default.
- W2494370501 hasAuthorship W2494370501A5008264171 @default.
- W2494370501 hasConcept C134306372 @default.
- W2494370501 hasConcept C154945302 @default.
- W2494370501 hasConcept C156325763 @default.
- W2494370501 hasConcept C160145156 @default.
- W2494370501 hasConcept C17231256 @default.
- W2494370501 hasConcept C184337299 @default.
- W2494370501 hasConcept C199360897 @default.
- W2494370501 hasConcept C207648694 @default.
- W2494370501 hasConcept C2776436953 @default.
- W2494370501 hasConcept C2777212361 @default.
- W2494370501 hasConcept C2781238097 @default.
- W2494370501 hasConcept C33923547 @default.
- W2494370501 hasConcept C41008148 @default.
- W2494370501 hasConcept C80444323 @default.
- W2494370501 hasConceptScore W2494370501C134306372 @default.
- W2494370501 hasConceptScore W2494370501C154945302 @default.
- W2494370501 hasConceptScore W2494370501C156325763 @default.
- W2494370501 hasConceptScore W2494370501C160145156 @default.
- W2494370501 hasConceptScore W2494370501C17231256 @default.
- W2494370501 hasConceptScore W2494370501C184337299 @default.
- W2494370501 hasConceptScore W2494370501C199360897 @default.
- W2494370501 hasConceptScore W2494370501C207648694 @default.
- W2494370501 hasConceptScore W2494370501C2776436953 @default.
- W2494370501 hasConceptScore W2494370501C2777212361 @default.
- W2494370501 hasConceptScore W2494370501C2781238097 @default.
- W2494370501 hasConceptScore W2494370501C33923547 @default.
- W2494370501 hasConceptScore W2494370501C41008148 @default.
- W2494370501 hasConceptScore W2494370501C80444323 @default.
- W2494370501 hasLocation W24943705011 @default.
- W2494370501 hasOpenAccess W2494370501 @default.
- W2494370501 hasPrimaryLocation W24943705011 @default.
- W2494370501 hasRelatedWork W1517668933 @default.
- W2494370501 hasRelatedWork W1571682448 @default.
- W2494370501 hasRelatedWork W1573817019 @default.
- W2494370501 hasRelatedWork W1575606562 @default.
- W2494370501 hasRelatedWork W1587051605 @default.
- W2494370501 hasRelatedWork W161423742 @default.
- W2494370501 hasRelatedWork W2018839765 @default.
- W2494370501 hasRelatedWork W2085609594 @default.
- W2494370501 hasRelatedWork W2136924198 @default.
- W2494370501 hasRelatedWork W2219809577 @default.
- W2494370501 hasRelatedWork W2381988000 @default.
- W2494370501 hasRelatedWork W2398288797 @default.
- W2494370501 hasRelatedWork W2400726240 @default.
- W2494370501 hasRelatedWork W2773089215 @default.
- W2494370501 hasRelatedWork W3022801680 @default.
- W2494370501 hasRelatedWork W3151777563 @default.
- W2494370501 hasRelatedWork W791250861 @default.
- W2494370501 hasRelatedWork W825636491 @default.
- W2494370501 hasRelatedWork W992101332 @default.
- W2494370501 hasRelatedWork W2184601485 @default.
- W2494370501 isParatext "false" @default.
- W2494370501 isRetracted "false" @default.
- W2494370501 magId "2494370501" @default.
- W2494370501 workType "article" @default.