RAPIDware - Supporting Research Results

The investigators involved in the RAPIDware project have conducted extensive prior research in several supporting areas. This page lists recent research papers that describe methods and results that are relevant to the RAPIDware project.  The papers are organized by topic:

Middleware Support for Collaborative Computing
Multimedia Systems and Applications
Group Communication Protocols and Services
Software Reuse Methods and Frameworks
Modeling and Synthesis of User Interfaces
Integrating Object-Oriented Analysis and Formal Specifications
Specification and Modeling of Concurrent Systems
Design of Fault Tolerant Systems
 

Middleware Support for Collaborative Computing

Multimedia Systems and Applications

Group Communication Protocols and Services

  • Y. Huang and P. K. McKinley, "Group Leader Election under Link-State Routing," Computer Communications, 2000.
  • E. Fleury, Y. Huang, P. K. McKinley, "On the Performance and Feasibility of Multicast Core Selection Heuristics," Networks, John Wiley, 2000.
  • P. K. McKinley, R. T. Rao, and R. F. Wright, "H-RMC: A hybrid reliable multicast protocol in the Linux kernel," Proceedings of IEEE SC'99, Portland, Oregon, November 1999. [.pdf]
  • P. K. McKinley and R. F. Wright, "RMC: Reliable Multicasting in the Linux Kernel," 12th International Conference on Parallel and Distributed Computing Systems, Fort Lauderdale, Florida, August 1999.
  • Y. Huang, E. Fleury and P. K. McKinley, "LCM: A Multicast Core Management Protocol for Link-State Routing Networks," Proceedings of the IEEE International Conference on Communications (ICC), Atlanta, Georgia, June 1998.
  • C. C. Huang and P. K. McKinley, "COGS: An Object-Oriented Toolkit for Building Configurable Process Group Services," in the Proceedings of the Twentieth International Languages and Systems {(TOOLS'96)}, Santa Barbara, California, July 1996.
  • P. K. McKinley and Y.-J. Tsai and D. Robinson, "Collective Communication inWormhole-routed Massively Parallel Computers," IEEE Computer, pp. 39--50, December 1995.
  • C. C. Huang and Y. Huang and P. K. McKinley, "A Thread-Based Interface for Collective Communication on ATM Networks," in the Proceedings of the 15th IEEE International Conference on Distributed Computing Systems, Vancouver, British Columbia, pp. 254--261, May 1995.
  • C. C. Huang and P. K. McKinley, "Communication Issues in Parallel Computing across ATM Networks," IEEE Parallel and Distributed Technology, vol. 2, no. 4, pp. 73--86, Winter 1994.

    • Software Reuse Methods and Frameworks

  • Y. Chen and B. Cheng, ``A Semantic Foundation for Specification Matching,'' in Foundations of Component-Based Systems Eds. M.~Sitaraman and G.~Leavens, Cambridge University Press, 1999.
  • Y. Chen and B. Cheng, "Formalizing and Automating Component Reuse,''  in IEEE Proc. of International Conference on Tools with Artificial Intelligence, November 1997.
  • Y. Chen and B. Cheng, "Facilitating an Automated Approach to Architecture-based Software Reuse,'' in Proc. of IEEE Automated Software Engineering, November 1997.
  • B. Cheng and J. Jeng, "Reusing Analogous Components,'' shortened version in IEEE Trans. on Knowledge and Data Engineering, Vol 9., No. 2, March/April 1997, pp. 341--349. Extended version is Michigan State University Technical Report, MSU-CPS-94-28 (Revised June 1995).
  • Y. Chen and B. Cheng, "Formally Specifying and Analyzing Architectural and Functional Properties of Components for Reuse,'' Proc. Eighth Annual Workshop on Software Reuse (WISR8), Columbus, OH, March 1997.
  • J. Jeng and B. Cheng``Specification Matching for Software Reuse: A Foundation,''  Proc. of ACM Symposium on Software Reuse , Seattle, Washington, April 1995.
  • J. Jeng and B. Cheng, "Reusing Analogous Components,'' shortened version in IEEE Trans. on Knowledge and Data Engineering, Vol 9., No. 2, March/April 1997, pp. 341--349. Extend version is Michigan State University Technical Report, MSU-CPS-94-28 (Revised June 1995).
  • J. Jeng and B. Cheng,  "A Formal Approach to Reusing More General Components'' IEEE Proc. of 9th Knowledge-Based Software Engineering Conference, Monterey, California, pp. 90-97, September 1994.
  • J. Jeng, "Applying Formal Methods to Software Reuse,''  PhD Thesis, December 1993.
  • Jun-Jang Jeng and Betty H.C. Cheng, "Using Analogy to Determine Program Modifications Based on Specification Changes,''Proc. of IEEE Int'l Conf. on Tools with Artificial Intelligence, pp. 113--119, November 1993.
  • J.Jeng and B. Cheng, ``Using Formal Methods to Construct a Software Component Library,''  Lecture Notes in Computer Science, Vol. 717, Springer-Verlag, pp. 397--417, in Proc. of Fourth European Software Engineering Conference, September 1993.
  • J. and B. Cheng, ``Formal Methods Applied to Reuse'' Proc. of the Fifth Annual Workshop on Software Reuse, October 1992.
  • J. Jeng and B.Cheng, "Using Automated Reasoning Techniques to Determine Software Reuse,'' International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 4, pp. 523--546, December 1992.
    •

    Modeling and Synthesis of User Interfaces

  • R. E. K. Stirewalt and Reimer Behrends, The Universe Model: An approach for improving the modularity and reliability of concurrent programs,  Proc. of ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000.
  • R. E. K. Stirewalt and Spencer Rugaber,  The Model-Composition Problem in User-Interface Generation , Automated Software Engineering 7(2), 2000.
  • R. E. K. Stirewalt, Separating concerns in direct manipulation user interfaces, Proc. Automated Software Engineering (ASE'99), October 1999.
  • R. E. K. Stirewalt, MDL: A language for binding user-interface models, Proc. Second International Conference on Computer-Aided Design of User Interfaces (CADUI'99), October, 1999.
  • R. E. K. Stirewalt and Spencer Rugaber, Automating UI Generation by Model Composition, Proc. Automated Software Engineering (ASE'98), October 1998.
  • R. E. K. Stirewalt and G. D. Abowd, Practical Dialogue Refinement , Proc. 5th Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS), 1998.
  • R. E. K. Stirewalt and Karmen Tucker, Model based user-interface reengineering ,  Proc. Sixth Working Conference on Reverse Engineering (WCRE'99), October, 1999.
  • R. E. K. Stirewalt,Spencer Rugaber, Linda Wills,  Understanding Interleaved Code , Automated Software Engineering 3(1), 1996
  • R. E. K. Stirewalt, Spencer Rugaber, Linda Wills, Detecting Interleaving in Proc. International Conference on Software Maintenance (ICSM), 1995.
  • R. E. K. Stirewalt, Spencer Rugaber, Linda Wills,  The Interleaving Problem in Program Understanding , in Proc. 2nd Working Conference on Reverse Engineering (WCRE), 1995.

    • Integrating Object-Oriented Analysis and Formal Specifications

  • B. Cheng, L.. Campbell, E. Wang, "Enabling Automated Analysis through Object-Oriented Modeling Diagrams,"  in Proc. of IEEE International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), New York, NY, June 2000.
  • W. E. McUmber and B.H.C. Cheng, ``UML-Based Analysis of Embedded Systems Using a Mapping to VHDL,''  in Proc. of IEEE High Assurance Software Engineering, Washington, DC, November 1999.
  • B. Cheng, ``Multiple Dimensions of Integrating Development Technology'' in Computer Security, Dependability, and Assurance'98, Eds. P. Ammann and S. Jajodia, IEEE Computer Society, 1999.
  • B. Cheng and R. France, "A Discussion about Integrated Techniques," in Post-Proceedings of IEEE 2nd International Workshop on Industrial Strength Formal Specification Techniques (WIFT98), Boca Raton, Florida, April 1999.
  • E. Y. Wang and B. H.C. Cheng, ``Formalizing and Integrating the Functional Model into Object-Oriented Design,"  in Proc. of International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, June 1998.
  • E. Y. Wang and Betty H.C. Cheng, ``A Rigorous Object-Oriented Design Process,''  in Proc. of International Conference on Software Process, Naperville, IL, June 1998.
  • E. Y. Wang, H. A. Richter, and B.H.C. Cheng, ``Formalizing and Integrating the Dynamic Model within OMT,'' , in IEEE Proc. of International Conference on Software Engineering, Boston, MA, May 1997.
  • R.H. Bourdeau and B.H.C. Cheng, ``A Formal Semantics of Object Models,''  in IEEE Trans. on Software Engineering, October 1995.
  • B. H.C. Cheng, E. Y. Wang and R. H. Bourdeau, "A Graphical Environment for Formally Developing Object-Oriented Software,''   in the Proc. of IEEE Int'l Conf. on Tools with Artificial Intelligence, November 1994.
  • M. Laux, R. Bourdeau,, B. Cheng, ``An Integrated Development Environment for Formal Specifications,'' in  Proc. of the IEEE 5th International Conference on Software Engineering and Knowledge Engineering, pp. 681--688, San Francisco, California, June 1993.
  • R. Bourdeau and B. Cheng, ``An Object-Oriented Toolkit for Constructing Specification Editors,''  in  Proc. 16th Annual International Computer Software and Applications Conference, 239--244, September 1992.

    • Specification and Modeling of Concurrent Systems

    Design of Fault Tolerant Systems