ExecutableUMLIX.fm Page 363 Wednesday, April 17, 2002 2:52 PM

Index

A language  abstract class  Arthaud, Rodolphe  polymorphic event specification aspect ,   -oriented , ,  action , ,  assigner , , ,  attribute  association ,  link , ,  checking  link object ,  competition  object  distributing control in  reclassification  dynamically simple  signal  reflexive  action language ,  association class , , ,  constraints in  dynamics of  data types  lifecycle formalization  procedure  association loop  test state  constraint  activation ,  equal set constraint  activity ,  redundant  initiation by external signal  subset constraint  activity diagram , ,  unconstrained  input sequencing  assumption-requirement pair , , actor ,  ,  swimlanes  asynchronous creation  actual parameter  attribute ,  agile ,  accumulating values  Alexander, Christopher ,  action  archetype ,  checking 

363 ExecutableUMLIX.fm Page 364 Wednesday, April 17, 2002 2:52 PM

364 INDEX

dependent ,  association loop  derived , ,  equal set  identifying , , , ,  referential  referential , , , ,  subset  unique instance  constraint idiom  B control Balcer, Marc J. ,  associations  Beck, Kent  hierarchical delegation  Blackburn, Mark ,  networked delegation  Blair, Alistair  partitioning  Block, Robert  pivot point  Bock, Conrad , ,  push and pull  bridge ,  core data type  assumption-requirement pair  description  explicit  D implicit  data access join ,  conflict ,  operation ,  rules about  to model compiler  set  bridge operation , ,  data type  core  domain-specific  C delayed signal  can’t happen  dependent attribute ,  or shouldn’t  derived attribute , ,  Carpenter, John  definition of  change event  derived identifier  class , , , ,  diagram abstract  activity  association  class , ,  checking  collaboration  class diagram , , ,  interaction ,  reworking  sequence  class-based state machine ,  statechart , ,  Cockburn, Alistair ,  vs. model ,  collaboration diagram  discriminator ,  combined referential attribute  domain , , , ,  competition  as external entity  completion event  dividing  compound generalization  identification  compound identifier  kinds of  conflict linking  data access ,  realized  Constantine, Larry  domain-specific data type  constraint , , ,  dynamic verification ,  ExecutableUMLIX.fm Page 365 Wednesday, April 17, 2002 2:52 PM

INDEX 365

E generalization hierarchy encapsulation  dynamics in  Epperson, Dirk ,  polymorphic event  equal set constraint  polymorphic signal  event , , , , ,  change  completion  H parameter  Harel, David  polymorphic  Hasling, Bill  specification vs. occurrence  hierarchical delegation  stereotype  time ,  event ignored  I event parameter ,  identifier ,  event recognizer  compound  exact time  contrived  execution trace  derived  external entity , , ,  for associations  as domain  idiom  bridge operations  multi-attribute  communication between  tag  conventions for  identifying attribute , , , , signals from   signals to  tag  stereotype ,  idiom external signal  identifier  bridge operation  information hiding  in real time  inheritance , ,  test case initiation ,  initial pseudostate  initial state , , ,  initiating signal  F input conditioning  final pseudostate  instance-based state machine  Finnie, Scott  intention Fontana, Peter  modeling of  formal parameter  interaction diagram ,  Foster, Alan Dean  Ishikawa, Sara  Fowler, Martin ,  Futagami,Takao  J Jacobson, Ivar  G join point ,  generalization , ,  actions for  compound  L multiple  Lamport, Leslie  repeated  leaf subclass , ,  ExecutableUMLIX.fm Page 366 Wednesday, April 17, 2002 2:52 PM

366 INDEX

LeBlanc, Phillippe  asynchronous  link synchronous  accumulating  object lifeline ,  action  object reference  link action , ,  object reference set  link object  Okamura, Yukitoshi  action  Ostrand, Tom  link object action ,  Lockwood, Lucy  P Page-Jones, Meilir  M Palahniuk, Chuck  mechanism  parameter Melliar-Smith, P. M.  actual  Mellor, Stephen J. ,  event ,  metamodel  formal  model compiler , , , , , , signal , ,  , ,  parameters  action language  partitioning control  action semantics  polymorphic event  bridging to  polymorphic signal  constraints  rules about  encapsulation  precondition  exact time  procedure , ,  signals ,  action language  transaction  rules about  model management  profile  model-driven architecture , , progression  modeling of  multiple generalization  pseudostate final  initial  N push and pull control  networked delegation  normalization rules about  R realized domain  stereotype  O reclassification ,  O’Bannon, Dan  action  object  subclass state machine  action  referential attribute , , , , Object Constraint Language   object creation , , ,  combined  asynchronous  tag  synchronous  referential constraint  object deletion , , ,  reflexive association  ExecutableUMLIX.fm Page 367 Wednesday, April 17, 2002 2:52 PM

INDEX 367

relationship number  saving in data  repeated generalization  self  requirement , ,  simultaneous  assumption pair , , ,  to external entity  defect  signal action  domain-level  signal event  for event recognizer  signal parameter ,  gathering  values in test case  missing in state transition tables signal specification   Silverstein, Murray  on model compiler  software platform ,  Rochford, Gregory  Starr, Leon , , ,  rules  Starrett, Cortland D.  data access  state , ,  dynamic semantics  initial , ,  for model compilation  state machine , , , ,  in a class  access to state  in knowledge formalization  class-based ,  in the domain  collaboration of  normalization  delegation of control  polymorphic signals  for association classes  procedures  instance-based  signals  subclass  Rumbaugh, James  superclass ,  run-to-completion ,  state machine instance , , , , , ,  and activation  S communication between  scenario , , ,  creation  Seidewitz, Edwin  polymorphic signal  selection expression  synchronizing  self synchronous creation of  signal to  state transition table ,  sequence diagram  statechart diagram , ,  Shlaer, Sally  construction techniques  Shlaer-Mellor , , , , , vs. state transition table  , , ,  static verification ,  signal , , ,  stereotype  action  event  delayed  external entity ,  distinct  imported  external , , , ,  realized  external entity  subsystem  initiating ,  subclass  parameter  leaf , ,  polymorphic  subclass state machine  rules about  reclassification  ExecutableUMLIX.fm Page 368 Wednesday, April 17, 2002 2:52 PM

368 INDEX

subset constraint  use case , ,  subsystem , ,  unit test for ,  verification of  use case postcondition  superclass  use case precondition  superclass state machine ,  synchronous creation  system model ,  V iterating  verification  system state  dynamic ,  system test  iterating  static , 

T tag complete  disjoint  identifier  identifying attribute  predefined, in constraint idiom  referential attribute  Tanner,William G.  test ,  execution  system  unit ,  test case , ,  finding  for use cases  initation of  scenarios ,  test vector ,  checking automatically  time  data type date  exact  global  modeling as actor  scope of model  time event ,  Tockey, Steve  transition , 

U unique instance constraint  unit test , 