Search

The Internet is undergoing a tremendous change towards the globalized computing environment. Due to the open, dynamic and uncontrollable natures of the Internet, software running in the Internet computing environment has some new features, which bring challenges to current software technologies in terms of software model, software operating platform, software engineering approaches and software quality. Researchers in China have proposed the term 'Internetware' to present the emerging software paradigm. Sponsored by the National Basic Research 973 Program, several research practices have been done on the Internetware in the past decade. This paper summarizes the progress and status of the Internetware researches. A technical solution framework for the Internetware paradigm is proposed from four aspects: the Internetware software model defines what the Internetware is to be; the Internetware middleware determines how to run the Internetware applications; the engineering methodology determines how to develop the Internetware applications; the Internetware quality assurance determines how well the Internetware applications can perform. The paper also discusses the ongoing research issues and future trends of Internetware. [ABSTRACT FROM AUTHOR]

The article presents information about three papers based on the presentations made at SEFM 2004, the Second IEEE International Conference on Software Engineering and Formal Methods held during 28-30 September 2004 in Beijing, China. The papers are "Models and Temporal Logical Specifications for Timed Component Connectors," " An Asynchronous Communication Model for Distributed Concurrent Objects," and "Computation Orchestration: A Basis for Wide-Area Computing."