Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

FIDJI 2004 یک انجمن بین المللی برای محققان و متخصصان در زمینه پیشرفت، و برنامه های کاربردی، مهندسی نرم افزار و توسعه برنامه های کاربردی توزیع شده بود. در مورد فن آوری ها، کارگاه بر روی فناوری های "مرتبط با جاوا" متمرکز شد. فرصتی برای ارائه و مشاهده آخرین تحقیقات، نتایج و ایده ها در این زمینه ها بود. تمام مقالات ارسال شده به این کارگاه توسط حداقل دو نفر از اعضای کمیته برنامه بین المللی بازبینی شده است. پذیرش اساساً بر اساس اصالت و مشارکت بود. ما برای این مجموعه مقالات پس از کارگاه، 11 مقاله از بین 22 مقاله ارسالی، یک آموزش و دو نکته کلیدی را انتخاب کردیم. FIDJI2004 با هدف ارتقاء علم؟ در مهندسی نرم افزار. حوزه کارگاه شامل موضوعات زیر بود: - طراحی برنامه های کاربردی توزیع شده - متدولوژی های توسعه برای نرم افزار و مهندسی سیستم - روش های توسعه مبتنی بر UML - توسعه سیستم های توزیع شده قابل اعتماد و ایمن - متدولوژی های توسعه مبتنی بر مولفه - پشتیبانی قابل اعتماد در طول چرخه عمر سیستم - بازسازی تحمل خطا، تکامل و تجزیه - اتمی و مدیریت استثنا در توسعه سیستم - معماری نرم افزار، چارچوب ها و الگوهای طراحی برای توسعه سیستم های توزیع شده - ادغام تکنیک های رسمی در فرآیند توسعه - تجزیه و تحلیل رسمی و پایه گذاری نمادهای مدل سازی و تکنیک‌ها (مانند UML، فرامدل‌سازی) - پشتیبانی از الزامات امنیتی و قابلیت اطمینان برنامه‌های توزیع‌شده در فرآیند توسعه - بازرسی نرم‌افزار توزیع‌شده - روش‌های بازسازی - مطالعات موردی صنعتی و دانشگاهی - ابزارهای توسعه و تحلیل سازمان‌دهی چنین کارگاهی نشان‌دهنده یک مقدار مهمی از کار.

FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin,andapplicationsof,softwareengineeringfordistributed 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. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 11 papers amongst 22 submitted, a tutorial and two keynotes. FIDJI2004aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: – design of distributed applications – development methodologies for software and system engineering – UML-based development methodologies – development of reliable and secure distributed systems – component-based development methodologies – dependability support during system life cycle – fault tolerance re?nement, evolution and decomposition – 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 modelling notation and techniques (e. g. , UML, metamodelling) – supporting the security and dependability requirements of distributed app- cations in the development process – distributed software inspection – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.