Scientific Engineering for Distributed Java Applications [electronic resource] : International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers /

A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- Auction System Design Using Open Multithreaded Transactions -- Critical Evaluation of the EJB Transaction Model -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Performance Analysis of Java Group Toolkits: A Case Study -- Performance Analysis of Java Group Toolkits: A Case Study -- A Java-Based, System for Collaborative Design and Manufacturing -- A Java-Based, System for Collaborative Design and Manufacturing -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- An Experience in Architectural Extensions: Active Objects in J2EE -- An Experience in Architectural Extensions: Active Objects in J2EE -- Generating application development environments for Java frameworks -- Generating Pattern-Based Web Tutorials for Java Frameworks -- A framework to dynamically manage distributed virtual environments. Virtual Worlds -- Massively Distributed Virtual Worlds: A Framework Approach MaDViWorld: A Java Software Framework for Massively Distributed Virtual Worlds -- Distributed Java Platform with Programmable MIMD Capabilities -- Distributed Java Platform with Programmable MIMD Capabilities -- JGrid: Exploiting Jini for the Development of Grid Applications -- JGrid: Exploiting Jini for the Development of Grid Applications -- The EVOLVE Project: Component-Based Tailorability for CSCW Applications -- Managing Dependencies in Component-Based Distributed Applications -- JTN:A Java-Targeted Graphical Formal Notations for Reactive and Concurrent Systems -- A Notation for Component-Based Design of Java Applications -- On Building Testable Software Components -- WCT: A Wrapper for Component Testing -- Jada-Coordination and Communication for Java Agents -- A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces -- Keynote Talks -- Designing Fault-Tolerant Mobile Systems -- The Role of OCL in the Model Driven Architecture -- Tutorials -- Requirements Elicitation with Use Cases -- Java Threads Can Be Very Useful Building Blocks.

FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development. Concerning the technologies, the workshop focused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. All papers submitted to this workshop were reviewed by at least two members of the International Program Committee. Acceptance was based primarily on the originality and contribution. We selected for these postworkshop proceedings 16 papers amongst 33 submitted, two tutorials, and two keynotes. FIDJI 2002 was aimed at promoting a scienti?c approach to software engin- ring. The scope of the workshop included the following topics: – design of distributed Java applications – Java-related technologies – software and system architecture engineering and development methodo- gies – development methodologies for UML – development methodologies for reliable distributed systems – component-based development methodologies – management of evolutions/iterations in the analysis, design, implementation, and test phases – dependability support during system lifecycle – managing inconsistencies during application development – atomicity and exception handling in system development – software architectures, frameworks, and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modeling notation and techniques (e. g.