Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003, held in Warsaw, Poland, in April 2003. The 20 revised full papers presented together with a keynote paper were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on software components, mobile computing, aspects and web applications, software measurements, formal verficiation, analysis and testing, and model integration and extension. Etaps2003wasthesixthinstanceoftheeuropeanjointconferencesontheory Andpracticeofsoftware.etapsisanannualfederatedconferencethatwases- Blishedin1998bycombininganumberofexistingandnewconferences.thisyear It Comprised ?ve Conferences (fossacs, Fase, Esop, Cc, Tacas), 14 - Tellite Workshops (avis, Cmcs, Cocv, Famas, Feyerabend, Fics, Ldta, Rskd, Sc, Tacos, Unigra, Use, Wits, And Wood), Eight Invited Lectures (not Including Those That Are Speci?c To The Satellite Events), And Several Tu- Rials. We Received A Record Number Of Submissions To The ?ve Conferences This Year: Over 500, Making Acceptance Rates Fall Below 30% For Every One Of Them. Congratulations To All The Authors Who Made It To The ?nal Program! I Hope That All The Other Authors Still Found A Way Of Participating In This Exciting Event, And I Hope You Will Continue Submitting. A Special Event Was Held To Honor The 65th Birthday Of Prof. Wlad Turski, One Of The Pioneers Of Our Young Science. The Deaths Of Some Of Our “fathers” In The Summer Of 2002 – Dahl, Dijkstra And Nygaard – Reminded Us That Software Science And Technology Is, Perhaps, No Longer That Young. Against This Sobering Background, It Is A Treat To Celebrate One Of Our Most Prominent Scientists And His Lifetime Of Achievements. It Gives Me Particular Personal Pleasure That We Are Able To Do This For Wlad During My Term As Chairman Of Etaps. Keynote -- Symbiosis Of Static Analysis And Program Testing -- Software Components -- An Ontology For Software Component Matching -- A Description Language For Composable Components -- A Logical Basis For The Specification Of Reconfigurable Component-based Systems -- An Overall System Design Approach Doing Object-oriented Modeling To Code-generation For Embedded Electronic Systems -- Mobile Computing -- Composing Specifications Of Event Based Applications -- A Spatio-temporal Logic For The Specification And Refinement Of Mobile Systems -- Spatial Security Policies For Mobile Agents In A Sentient Computing Environment -- Aspect And Object-oriented Programming -- Towards Uml-based Formal Specifications Of Component-based Real-time Software -- Modelling Recursive Calls With Uml State Diagrams -- Pipa: A Behavioral Interface Specification Language For Aspect -- Pacosuite And Jasco: A Visual Component Composition Environment With Advanced Aspect Separation Features --^ Distributed And Web Applications -- Model-based Development Of Web Applications Using Graphical Reaction Rules -- Modular Analysis Of Dataflow Process Networks -- Software Measurements -- Foundations Of A Weak Measurement-theoretic Approach To Software Measurement -- An Information-based View Of Representational Coupling In Object-oriented Systems -- Formal Verification -- A Temporal Approach To Specification And Verification Of Pointer Data-structures -- A Program Logic For Handling Java Card’s Transaction Mechanism -- Monad-independent Hoare Logic In Hascasl -- Visual Specifications Of Policies And Their Verification -- Analysis And Testing -- Automatic Model Driven Animation Of Scr Specifications -- Probe Mechanism For Object-oriented Software Testing -- Model Checking Software Via Abstraction Of Loop Transitions -- Model Integrations And Extensions -- Integration Of Formal Datatypes Within State Diagrams -- Xere: Towards A Natural Interoperability Between Xml And Er Diagrams --^ Detecting Implied Scenarios Analyzing Non-local Branching Choices -- Capturing Overlapping, Triggered, And Preemptive Collaborations Using Mscs. Mauro Pezzè (ed.). Includes Bibliographical References And Index. Symbiosis of Static Analysis and Program Testing....Pages 1-5 An Ontology for Software Component Matching....Pages 6-21 A Description Language for Composable Components....Pages 22-36 A Logical Basis for the Specification of Reconfigurable Component-Based Systems....Pages 37-51 An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems....Pages 52-66 Composing Specifications of Event Based Applications....Pages 67-86 A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems....Pages 87-101 Spatial Security Policies for Mobile Agents in a Sentient Computing Environment....Pages 102-117 Towards UML-Based Formal Specifications of Component-Based Real-Time Software....Pages 118-134 Modelling Recursive Calls with UML State Diagrams....Pages 135-149 Pipa: A Behavioral Interface Specification Language for Aspect....Pages 150-165 PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features....Pages 166-169 Model-Based Development of Web Applications Using Graphical Reaction Rules....Pages 170-183 Modular Analysis of Dataflow Process Networks....Pages 184-199 Foundations of a Weak Measurement-Theoretic Approach to Software Measurement....Pages 200-215 An Information-Based View of Representational Coupling in Object-Oriented Systems....Pages 216-230 A Temporal Approach to Specification and Verification of Pointer Data-Structures....Pages 231-245 A Program Logic for Handling J ava C ard’s Transaction Mechanism....Pages 246-260 Monad-Independent Hoare Logic in H AS C ASL ....Pages 261-277 Visual Specifications of Policies and Their Verification....Pages 278-293 Automatic Model Driven Animation of SCR Specifications....Pages 294-309 Probe Mechanism for Object-Oriented Software Testing....Pages 310-324 Model Checking Software via Abstraction of Loop Transitions....Pages 325-340 Integration of Formal Datatypes within State Diagrams....Pages 341-355 Xere: Towards a Natural Interoperability between XML and ER Diagrams....Pages 356-371 Detecting Implied Scenarios Analyzing Non-local Branching Choices....Pages 372-386 Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs....Pages 387-402 This Book Constitutesnbsp;the Refereed Proceedings Of The 6th International Conference On Fundamental Approaches To Software Engineering, Fase 2003, Held In Warsaw, Poland, In April 2003.the 20 Revised Full Papers Presented Together With A Keynote Paper Were Carefully Reviewed And Selected From 89 Submissions. The Papers Are Organized In Topical Sections On Software Components, Mobile Computing, Aspects And Web Applications, Software Measurements, Formal Verficiation, Analysis And Testing, And Model Integration And Extension.