Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. ProceedingsThis volume constitutes the proceedings of the First International Symposiumorganized by the Japan Society for Software Science and Technology. The symposium was held in Kanazawa, Japan, November 4-6, 1993 and attracted many researchers from academia and industry as well as ambitioned practitioners. Object technologies, in particular object-oriented programming, object-oriented databases, and software object bases, currently attract much attention and hold a great promise of future research and development in diverse areas of advanced software. The volume contains besides 6 invited presentations by renown researchers and 25 contributed papers carefully selected by an internationalprogram committee from a total of 92 submissions. |
Contents
Invited Paper | 1 |
2 | 4 |
Traces | 27 |
a Support for Software Component | 43 |
an object orientation kernel | 61 |
Change Management and Consistency Maintenance | 77 |
Design of an Integrated and Extensible C++ | 95 |
Inheritance | 102 |
Fig 2 | 371 |
efficient checking testing and prototyping can be done at | 372 |
This is part of one of the current controversies in | 373 |
Constraints in ObjectOriented Analysis | 374 |
WWRT91 Jack C Wileden Alexander L Wolf | 375 |
WCW85 Alexander L Wolf Lori A Clarke | 376 |
It is apparent that a successful PAS will be expected | 377 |
Atkinson et al 1993 MP Atkinson | 378 |
Metalevel Decomposition in AL1D | 110 |
Definition of a Reflective Kernel for a | 128 |
Kernel Structuring for ObjectOriented Operating | 145 |
Invited Paper | 163 |
Maintaining Behavioral Consistency during Schema | 176 |
An ObjectCentered Approach for Manipulating | 194 |
Towards the Unification of Views and Versions for | 220 |
Abstract View Objects for Multiple OODB Integration | 237 |
An ObjectOriented Query Model Supporting Views | 251 |
Invited Paper | 264 |
generalactivity | 284 |
partactivity | 285 |
Dynamic Extensibility in a Staticallycompiled | 297 |
The syntax P2 implies get the structure value of | 311 |
A Beta program execution is a collection of objects | 312 |
Invited Paper | 315 |
An ObjectOriented Pattern Matching Language | 339 |
erties have both local and inherited definitions the class | 354 |
Integration of the Tool AWB Supporting the O | 356 |
Invited Paper | 357 |
3 Neglecting the legal possibilities to change ones name | 361 |
2 There is a slight difference between constraints that spread | 362 |
Dennis Heimbigner Experiences with an objectmanager for | 363 |
The authors wish to thank Dr Philip Johnson for his | 364 |
Certain constraints such as connectivity and attribute multiplicity | 365 |
Firstly the classes that are involved in each | 366 |
Table 1 | 367 |
Fig 7 | 368 |
3 Changes to program parts that do not change their | 379 |
Connor et al 1990b Solutions to | 380 |
processes | 381 |
3 Not necessarily automatically someone may have to redefine | 382 |
Connor et al 1990a RCH Connor | 383 |
Connor 1991 RCH Connor Types and | 384 |
L2 A2 | 385 |
11 K Lee and S Lee | 386 |
Some of these changes will affect users For example | 391 |
There are other more mundane reasons for espousing incrementalism as | 392 |
A ClassBased Logic Language For | 393 |
Zlo77 M Zloof Queryby | 394 |
In the limit | 397 |
Given this basic terminology we would like to have | 398 |
The tools are initially applied to the constituent classes of | 401 |
public NameableObjectPerson | 402 |
using Restrict and Union as in possibility 4 | 405 |
Of course since they employ only UnionOverride the | 406 |
Minimizing Dependency on Class Structures with | 424 |
First Class Messages as First Class Continuations | 442 |
A typing system for a calculus of objects | 460 |
A Type Mechanism Based on Restricted CCS for | 475 |
Invited Paper | 489 |
Requirements and Early Experiences | 511 |
ObjectOriented Formal Specification Development | 529 |
SpringerVerlag | |
Other editions - View all
Object Technologies for Advanced Software: First JSSST International ... Shojiro Nishio,Akinori Yonezawa No preview available - 1993 |
Common terms and phrases
a-class abstract aggregation application approach asynchronous attribute grammars attributes behavior Beta binding spaces called class dictionary graph Common Lisp communication compiled components Computer Science concepts concurrent constraints construction context created data model database system declaration defined deleted denoted described dynamic environment event example execution extension Figure framework function gluon hierarchy implementation implicit invocation inheritance input instance integration interaction interface interpreter invoked labeled lookup mechanism message continuation message passing meta metaobjects metaspace method modules name management object database object technology object-oriented databases object-oriented programming oid-set OOAG OODB OOPSLA parameters PCTE persistent primitive programming language propagation patterns protocol prototype query language refactoring reference relation relationship represented reuse schema version schema view Section semantics server SIGMOD slot Smalltalk software objects specification static structure subclass subtype superclass transition transverse activities tuple update variables virtual database