APSEC '99 Advance Program

Time Featured Object Orientation & Architectures Applications & Experiences Foundations & Engineering
Dec. 7 (Tue)
Tutorial 1A [in Japanese]
Patterns, T. Nakatani
Tutorial 2A [in Japanese]
Jini, H. Yamaguchi
Workshop 1
DOSD '99 (Workshop on Domain Oriented Systems Development)

Call for Papers
Workshop 2
WSAC '99 (Workshop on Software Architecture and Components)

Call for Papers
Tutorial 1B
Design Patterns in the Standard Java Libraries,
R. E. Johnson
Tutorial 2B [in Japanese]
XML, J. Suzuki
Dec. 8 (Wed)
[Opening & Keynote 1]
Patterns: Making the Obvious Profound
Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA)
Software Evolution
  • Empirical Observations on Object Evolution, T. Nakatani, T. Tamai (Japan)
  • An Approach for Measuring Software Evolution Using Source Code Features, L. Tahvildari, R. Gregory, K. Kontogiannis (Canada)
  • Software Development Based on Software Pattern Evolution, T. Kobayashi, M. Saeki (Japan)
Components & Frameworks 1
  • Application of CBSE to Projects with Evolving Requirement Definitions - Lesson Learned, V. Tran, D. Liu (USA)
  • An Operational Component Specification Method, H. Kim, D. Kim, H. Jung, Y. Chung and D. Bae (Korea)
  • Connector Modeling Method for Component Extraction, Y. Yu, S. Kim, D. Kim (Korea)
  • COMO: A UML-Based Component Development Methodology, S. Lee, Y. Yang, E. Cho, S. Kim (Korea)
Internet Applications Engineering
  • Development of an Intelligent Web Interface to Online Library Catalog Databases, D. Poo, C. Khoo, T. Toh, G. Hong (Singapore)
  • Design of a Framework for Dynamic Content Adaptation to Web-Enabled Terminals and Enterprise Applications, F. Kitayama, S. Hirose, G. Kondoh, K. Kuse (Japan)
  • Evolution of Process Scheduling Mechanism for a Web Server Based on its Behavior while Executing, S. Sukanya, H. Taniguchi, K. Ushijima (Japan)
  • Automatic Selecting of Required Net News Articles, J. Funasaka, K. Saisho, A. Fukuda (Japan)
Formal & Visual Methods
  • A Formal Specification of the Concurrency Control in Real-Time Databases, E. Pavlova, D. Hung (Russia)
  • Visualization of Formal Specifications, S. Kim, D. Carrington (Australia)
  • Interactive Layout Method for Object Diagrams of OMT, T. Noguchi and J. Tanaka (Japan)
  • A Visual Programming Method for Developing Sequence Controller Programs, A. Ohnishi, Y. Shin (Japan)
Empirical Software Engineering
  • A Study of Productivity and Efficiency for Object-Oriented Methods and Languages, D. Port, M. McArthur (USA)
  • Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work, A. Brooks, S. Takada, L. Scott (UK)
  • Factor Analysis of Comprehension States in the Learning Phases of a Programming Language, Y. Takemura, K. Shima, K. Matsumoto, K. Inoue, K. Torii (Japan)
  • A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development, S. Uehara, O. Mizuno, T. Kikuno (Japan)
Components & Frameworks 2
  • Intelligent Search Agent for Software Components, S. Park, C. Wu (Korea)
  • Inter-Class Test Technique between Black-Box-Class and White-Box-Class for Component Customization Failures, H. Yoon, B. Choi (Korea)
  • SMARTS: A Smart CORBA Trader Service, J. You, S. Kim (Korea)
  • An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-tier Architecture, K. T. Cheung, H. Ip, R. Lam, R. Hanka, L. Tang, G. Fuller (Hong Kong)
Business Process Modeling & Applications
  • Evolution of Business Processes and a Process Simulation Tool, H. Tarumi, T. Matsuyama, Y. Kambayashi (Japan)
  • An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Applications to an Educational Information System, U. Subramanian (India)
  • An Integrated Framework of Supply Chain Management System, Y. Li (China)
  • Software Support for Distributed Business Processes, V. Gruhn (Germany)
Requirements Engineering
  • A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications, A. Ohnishi, H. Sugimoto (Japan)
  • Using Multiple Graphs of Programs to Modify Specifications, T. Nakanishi, M. Saeki (Japan)
  • Conducting Requirements Evolution according to the Replacements of Components, H. Kaiya, K. Kaijiri (Japan)
Dec. 9 (Thr)
Panel: Domain Oriented Systems Development:
Chair: S. Kumagai (Japan)
Software Architectures
  • On Aspect-Oriented Design: An Approach to Designing Quality Attributes, N. Noda, T. Kishi (Japan)
  • Towards a Broader View on Software Architecture Analysis of Flexibility, N. Lassing, D. Rijsenbrij, J. Vliet (The Netherlands)
  • A Reusable Distributed Software Architecture Driven by Metadata, P. Marino, C. Siguenza, J. Nogueira, F. Poza, M. Dominguez (Spain)
Software Agents 1
  • Analysis and Verification of Multi-Agent Interaction Protocols, W. Wen, F. Mizoguchi (Japan)
  • Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems, T. Kawamura, T. Hasegawa, A. Ohsuga, S. Honiden (Japan)
  • Design and implementation of Multi-Agent for Intelligent Software, D. Ramamonjisoa, I. Hamid (Japan)
Tools & Environments
  • Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams, M. Harada, T. Mizuno (Japan)
  • Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version, T. Kim, G. Shin (Korea)
  • xSUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications, J. Li, S. London, P. Vilela, J. Horgan (USA)
Panel: TBD Software Patterns
  • A Formal Basis for Object-Oriented Patterns, A. Cechich, R. Moor (Macao)
  • A Source Code Generation Support System Using Design Pattern Documents Based on SGML, M. Ohtsuki, N. Yoshida, A. Makinouchi (Japan)
  • Pattern Based Software Re-Engineering: A Case Study, W. Chu, C. Lu, J. Shiu, X. He (Taiwan)
  • Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns, M. Saeki (Japan)
Software Agents 2
  • Agent-Oriented Software Modeling, M. Kim, S. Lee, I. Park, J. Kim, S. Park (Korea)
  • Reusable Strategies for Software Agents via the Subsumption Architecture, G. Butler, A. Gantchev, P. Grogono (Canada)
  • An Evloutional Cooperative Computation Based on Adaptation to Environment, N. Ubayashi, T. Tamai (Japan)
Program Slicing & Analysis 1
  • Slicing Methods Using Static and Dynamic Analysis Information, Y. Ashida, K. Inoue (Japan)
  • Slicing Functional Fragments from Source Programs, H. Tan, J. Kow (Singapore)
  • VRML Program Slicing, H. Maruyama, K. Araki (Japan)
  • Deriving Program Physical Structures Using Bond Energy Algorithm, N. Gorla, K. Zhang (Australia)
[Keynote 2]
How Can Duration Calculus Deal with Continuous Time?
Zhou Chaochen (Director, IIST, United Nations University, Macau)
Panel: TBD Object-Oriented Methodologies 1
  • Specifying Constraints with Message Sequence Specifications, Y. Tu, W. Tsai, Y. Xiang (USA)
  • Enhancing the Object Constraint Language for More Expressive Specifications, A. Hamie (UK)
  • Improving Object Oriented Analysis by Explicit Change Analysis, L. Yu, S. Khong, Y. Xun, M. Yuan (Singapore)
  • Object-Oriented Essential Modeling, L. Li (Canada)
Software Engineering Practice
  • Feature-Oriented Engineering of PBX Software, K. Lee, K. Kang, S. Kim, J. Lee (Korea)
  • Applying SOFL to Devbelop a University Information System, S. Liu, M. Shibata, R. Sato (Japan)
  • Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design, H. Abolhassani, H. Chen, Z. Koono, B. Far (Japan)
  • A Systematic Approach to Software Safety, R. Singh (USA)
Program Slicing & Analysis 2
  • Towards an Algorithmic Debugging for Distributed Programs, T. Ohta, T. Mizuno (Japan)
  • On the Practical Static Checker of Semantic Run-Time Errors, V. Shelekhov, S. Kuksenko (Russia)
  • A System Dependence Net Generator for Ada Programs, Y. Nonaka, K. Hatano, Y. Nomura, J. Cheng. K. Ushijima (Japan)
  • The Quest for Correct Systems: Model Checking of Diagrams and Datatypes, J. Philipps, O. Slotosch (Germany)
Conference Reception
Dec. 10 (Fri)
[Keynote 3]
Information Networking Revolution
Toshiharu Aoki (President, NTT Data Corporation, Japan)
Panel: Globally Distributed Software Development: Challenge and Experience
Chair: D. Moitra (India)
Behavior & Semantic Models
  • Simply Observable Behavioral Specification, M. Matsumoto, K. Futatsugi (Japan)
  • Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks, Y. Cheon, H. Kim (Korea)
  • Manipulating Software Semantics with Unified Computational Model and Software Quark Model, M. Noro, T. Ajisaka (Japan)
Real-Time Software Engineering
  • Expanding Small Example into Large Scale Real-Time Control System, H. Shimakawa, G. Ido, H. Takada, S. Horiike (Japan)
  • Proposal of a Support System for Device Driver Generation, T. Katayama, K. Saisho, A. Fukuda (Japan)
Reengineering & Maintenance
  • Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application Systems, K. Kawabe, A. Matuo, S. Uehara, A. Ogawa (Japan)
  • Maintenance with Reuse; An Integrated Approach Based on Software Configuration Management, O. Kwon, G. Shin, C. Boldyreff, M. Munro (Korea)
  • Maintainability Myth Causes Performance Problems in Parallel Applications, D. Haggander, P. Bengtsson, J. Bosch, L. Lundberg (Sweden)
Panel: Components and Architectures
Chair: T. Kishi (Japan)
Object-Oriented Methodologies 2
  • Enhancing Object-Based System Composition through Per-Object Mixins, G. Neumann, U. Zdun (Germany)
  • Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm, G. Xing, M. Lyu (Hong Kong)
  • Capturing Concurrent Interactions of Mission Computer Tasks, J. Dong, B. Mahony, N. Fulton (Singapore)
  • On the Way to Establishing a jPLoP Community, M. Tomono, T. Kato, T. Fujino (Japan)
Software Process, Collaboration & Project Management
  • An Object-Oriented Formal Model for Software Project Management, J. Lin (Taiwan)
  • Supporting Distributed Collaborative Prioritization, J. Park, D. Port, B. Boehm (USA)
  • ASP (A Software Process) for Improving Software Process, J. Hong, K. Lee, E. Bang, T. H. Cho (Korea)
  • Extending the Liaison Workflow Model and Engine to Support Different Signature Purposes, K. Leung, L. Hui, R. Tang (Hong Kong)
  • An Approach to Automated Program Testing and Debugging, Z. Sinjun, Y. Tashiro, H. Takata, T. Fujii, M. Yamamuro, T. Shimomura (Japan)
  • Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences, T. Katayama, E. Itoh, Z. Furukawa, K. Ushijima (Japan)
  • Integrating Approximation Methods with the Generalized Proportional Sampling Strategy, T. Chen, P. Wong, Y. Yu (Hong Kong)
  • MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications, T. Chen, M. Lau, Y. Yu (Hong Kong)
Closing Panel and Closing Remarks