Table of Contents

• Outsourcing AmericaRon Hira. 1-2
• Information Services in Service Oriented Architecture-Challenges and OpportunitiesKuo-Wei Hwang. 2
• A Pragmatic Approach to Enterprise Services OrientationGordon Simpson. 3
• Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented ModelingNaoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami. 4-10
• Modeling Complex Software Systems Using an Aspect Extension of Object-ZHuiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He. 11-16
• Customizing Aspect-Oriented Variabilities using Generative TechniquesUirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia. 17-22
• Collaboration Support Model of Software Development ExperimentSaeko Matsuura, Hiroki Kurihara. 23-28
• Enhancing Semantic Interoperability in Collaborative SystemsFlavio De Paoli, Marco Loregian. 29-34
• Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring SystemIg Ibert Bittencourt, Marcos Tadeu, Evandro Costa. 35-40
• Using Conditional Probability to Measure Rule-based Knowledge SimilarityChin-Jung Huang, Min-Yuan Cheng. 41-44
• Reverse Engineering of Rule-based SystemsAbdelhamid Bouchachia, Daniel Wakounig. 45-50
• A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty KnowledgeChin-Jung Huang, Min-Yuan Cheng. 51-56
• A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit SimulationChristopher W. Lehman, Mary Jane Willshire. 57-60
• Using Data Mining Schemes for Improvement on System Performance in Virtual EnvironmentsShao-Shin Hung, Damon Shing-Min Liu. 61-66
• An architecture based on multi-agent system and data mining for recommending research papers and researchersSílvio César Cazella, Luis Otávio Campos Alvares. 67-72
• Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board SystemXiaoyuan Wu, Shen Huang, Yong Yu. 73-78
• GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule MiningVania Bogorny, Paulo Martins Engel, Luis Otávio Alvares. 79-84
• Classification by Multi-Perspective Representation MethodJia Zeng, Reda Alhajj. 85-90
• An Architecture for Personal Cognitive AssistanceDavid Garlan, Bradley R. Schmerl. 91-97
• Updating Styles Challenge Updating Needs within Component-based Software ArchitecturesMourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak Seriai. 98-101
• Verifying a Software Architecture Reconstruction Framework with a Case StudySeonah Lee, Sungwon Kang. 102-107
• What s in Constructing a Domain Model for Sharing Architectural Knowledge?Rik Farenhorst, Remco C. de Boer, Robert Deckers, Patricia Lago, Hans van Vliet. 108-113
• A Pattern Taxonomy for Business Process Integration Oriented Application IntegrationHelge Hofmeister, Guido Wirtz. 114-119
• A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded ApplicationsBeata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon. 120-125
• A PVS Approach to Verifying ORA-SS Data ModelsScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves. 126-131
• Decision Support for Resource-centric Software Release PlanningJim McElroy, Günther Ruhe. 132-137
• Managing Uncertainty in Agile Release PlanningKevin McDaid, Des Greer, Frank Keenan, Paul Prior, Gerry Coleman, Philip S. Taylor. 138-143
• A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application DevelopmentSven Ziemer, Pedro R. Falcone Sampaio, Tor Stålhane. 144-149
• Multi-model Based Optimization for Stream Query ProcessingYing Liu, Beth Plale. 150-155
• Applying MDA to the Conceptual Design of Data WarehousesLeopoldo Zepeda, Matilde Celma. 156-161
• A Data Warehouse Architecture in Layers for Science and TechnologyAndré Luís Andrade Menolli, Maria Madalena Dias. 162-165
• Querying Ontology Based Databases - The OntoQL ProposalStéphane Jean, Yamine Aït Ameur, Guy Pierra. 166-171
• Towards a Conceptual Framework to Classify Ubiquitous Software ProjectsRodrigo O. Spínola, Jobson Luiz Massolar da Silva, Guilherme Horta Travassos. 172-175
• Open Source Development Process: a ReviewMarco Scotto, Alberto Sillitti, Giancarlo Succi. 176-181
• Organizational Programming: Hierarchy Software ConstructionZhuo Yin, Jianmin Wang. 182-187
• Towards a Methodology for Hybrid Systems Software DevelopmentIsabel María del Águila, Joaquín Cañadas, José Palma, Samuel Túnez. 188-193
• After the Scrum: Twenty Years of Working without DocumentationSukanya Ratanotayanon, Jigar Kotak, Susan Elliott Sim. 194-199
• Applying Models of Technology Adoption to Software Tools and Methods: An Empirical StudyScott A. Bailey, Susan Elliott Sim. 200-205
• Measuring the Usability of Online StoresErnest Cachia, Mark Micallef. 206-211
• Key Issues and Metrics for Evaluating Product Line ArchitecturesSoo Ho Chang, Hyun Jung La, Soo Dong Kim. 212-219
• Multiple Imputation of Software Measurement Data: A Case StudyTaghi M. Khoshgoftaar, Jason Van Hulse. 220-226
• Polishing Noise in Continuous Software Measurement DataTaghi M. Khoshgoftaar, Chris Seiffert, Jason Van Hulse. 227-231
• 3D Visualization of Class Template Diagrams for Deployed Open Source ApplicationsBenjamin N. Hoipkemier, Nicholas A. Kraft, Brian A. Malloy. 232-235
• Parallel Monitoring of Design Pattern ContractsJason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan. 236-241
• An Empirical Study of the Maintenance EffortLiguo Yu, Kai Chen 0003. 242-245
• Experimental Study on the Impact of Team Climate on Software QualitySilvia Teresita Acuña, Marta Gómez, Ramón Rico. 246-251
• Web Object Cacheability How Much Do We Know?Chi-Hung Chi, Jun-Li Yuan, Lin Liu. 252-255
• Bayesian Estimation of Defects based on Defect Decay Model: BayesED:::3M:::Syed Waseem Haider, João W. Cangussu. 256-261
• A Component Model to Support Dynamic Unanticipated Software EvolutionHyggo Oliveira de Almeida, Angelo Perkusich, Glauber Ferreira, Emerson Loureiro, Evandro de Barros Costa. 262-267
• Abstract Logic Tree based Framework for Component Based Solution Composition Design and ExecutionWei Sun, Xin Zhang, Ying Liu, Zhong Tian. 268-273
• Container-Based Component Deployment: A Case StudyNigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti. 274-277
• Interaction Partnering Criteria for COTS ComponentsManasi Kelkar, Melanie Smith, Rose F. Gamble. 278-283
• Ranking Component Retrieval Results by Leveraging User History InformationYan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun. 284-289
• A Framework for Component-based System ModelingZhijiang Dong, Yujian Fu, Xudong He. 290-295
• Evolution problem within Component-Based Software ArchitectureDalila Tamzalit, Nassima Sadou, Mourad Oussalah. 296-301
• Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure EvaluationKamran Sartipi, Hossein Safyallah. 302-308
• A Practical Quality Model for Evaluating Business ComponentsJi Hyeok Kim, Sung Yul Rhew, Soo Dong Kim. 309-314
• The Evolutionary Role of Variable Assignment and Its Impact on Program VerificationDaniel E. Cooke, J. Nelson Rushton, Robert G. Watson. 315-320
• Pattern-Based System Evolution: A Case-StudyNeelam Soundarajan, Jason O. Hallstrom. 321-326
• An Ontology-Based Metamodel for Software PatternsScott Henninger, Padmapriya Ashokkumar. 327-330
• A Formalism of Ontology to Support a Software Maintenance Knowledge-based SystemAlain April, Jean-Marc Desharnais, Reiner R. Dumke. 331-336
• Ontology-driven Model for Knowledge-Based Software EngineeringS. Thaddeus, S. V. Kasmir Raja. 337-342
• Performing Requirements Elicitation Activities Supported by Quality OntologiesTaiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos. 343-348
• KOntoR: An Ontology-enabled Approach to Software ReuseHans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk. 349-354
• Automatic Monitoring of Control-flow Through Inheritance HierarchiesBenjamin Tyler, Neelam Soundarajan. 355-358
• A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree SemanticsLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai. 359-362
• Incrementally Inferring Context-Free Grammars for Domain-Specific LanguagesFaizan Javed, Marjan Mernik, Alan P. Sprague, Barrett R. Bryant. 363-368
• Supporting Connector in Programming LanguageBo Chen, Zhoujun Li, Huowang Chen. 369-374
• TaxTOOLJ: A Tool to Catalog Java ClassesDjuradj Babich, Kayan Chiu, Peter J. Clarke. 375-380
• A Relationship-based Flexible Authorization Framework for Mediation SystemsLi Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi. 381-385
• Towards Secure Ambient Intelligence ScenariosAntonio Maña, Francisco Sanchez, Daniel Serrano, Antonio Muñoz. 386-391
• Ensuring Consistent Use/Misuse Case Decomposition for Secure SystemsJoshua J. Pauli, Dianxiang Xu. 392-397
• Improving Intrusion Detection Systems Using Reference VectorsOhm Sornil, Pattree Sidthikorn. 398-403
• Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data ObjectsMatthias Merz. 404-409
• A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based FormalizationLing Zhang, Jianping Yin, Mengjun Li, Jieren Cheng. 410-415
• Towards a contextualized access to the cultural heritage world using 360 Panoramic ImagesPietro Mazzoleni, Stefano Valtolina, Stefano Franzoni, Piero Mussio, Elisa Bertino. 416-419
• Object and Knowledge Modeling for Impact FusionCatherine Howard, Markus Stumptner. 420-425
• A Framework for Fusing Consistent Knowledge Bases AutomaticallyÉric Grégoire, Du Zhang. 426-431
• User Profiling in the Chronobot/Virtual Classroom SystemXin Li, Shi-Kuo Chang. 432-439
• Falsification of OTSs by Searches of Bounded Reachable State SpacesKazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi. 440-445
• Implementation of CafeOBJ Specifications to Java CodeSamira Sadaoui, Sudhanshu Singh. 446-449
• Nogueira A Design Methodology for Tailorable Visual Interactive SystemsMaria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno. 450-455
• A Method for Modeling Object-Oriented Systems with PZ netsYing Huang, Xudong He. 456-462
• Achieving a Better Middleware Design through Formal Modeling and AnalysisWeixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He. 463-468
• Design Rationale in Academic Software Development: Requirements for a Representation ModelDébora Maria Barroso Paiva, André Pimenta Freire, Renata Pontin de Mattos Fortes. 469-472
• Coverage Testing Embedded Software on Symbian/OMAPW. Eric Wong, Sharath Rao, John Linn, James Overturf. 473-478
• Efficient and Effective Random Testing based on Partitioning and NeighborhoodJohannes Mayer. 479-484
• Enhanced Anomaly Detection in Self-Healing ComponentsMichael E. Shin, Yan Xu. 485-488
• Program Testing Using High-Level Property-Driven ModelsIsabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt. 489-494
• A Multi-Agent Based Architecture For Distributed TestingMohammed Benattou. 495-498
• Software Defect Data and Predictability for Testing SchedulesRattikorn Hewett, Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Amschler Andrews. 499-504
• Using UML Designs to Generate OCL for Security TestingOrest Pilskalns, Anneliese Amschler Andrews. 505-510
• Applying Mutation Testing in XML SchemasLedyvânia Franzotte, Silvia Regina Vergilio. 511-516
• A New Heuristic for Test Suite Generation for Pair-wise TestingChanghai Nie, Baowen Xu, Liang Shi, Ziyuan Wang. 517-521
• Towards the Establishment of an Ontology of Software TestingEllen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado. 522-525
• Automating the Implementation of Mobile Applications and ServicesMichael Jiang, Anant Athale, Zhihui Yang, Rajarshi Chatterjee, Jay Acharya. 526-531
• UML Modelling Web Applications via Formal Concept AnalysisZhuopeng Zhang, Jian Kang, Hongji Yang. 532-535
• Debugging Failures in Web Services CoordinationWolfgang Mayer, Markus Stumptner. 536-543
• OWL-S Ontology Framework Extension for Dynamic Web Service CompositionJing Dong, Yongtao Sun, Sheng Yang. 544-549
• WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based SystemsVladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. 550-555
• UML and Modeling A Use Case Model and its Transformation to Activity DiagramXing-Yi Lin, Ching-Hui Wang, William C. Chu, Chihhsiong Shih. 556-561
• An Analysis Model of Activity Diagram in UML 2.0W. C. Piao, C. H. Wang, William C. Chu, Lung-Pin Chen. 562-567
• Translation of UML Models to Object Coloured Petri Nets with a view to AnalysisAsghar Bokhari, W. P. Skip Poehlman. 568-571
• Translating UML Diagrams Into Maude Formal Specifications: A Systematic ApproachFarid Mokhati, Mourad Badri, Patrice Gagnon. 572-577
• Specifying Consistency Constraints for Modelling LanguagesLijun Shan, Hong Zhu. 578-583
• WebLang: A Language for Modeling and Implementing Web ApplicationsOlivier Buchwalder, Claude Petitpierre. 584-590
• WECAP: A Web Environment for Project PlanningLerina Aversano, Gerardo Canfora, Corrado Aaron Visaggio. 591-594
• A Workflow Mining Tool based on Logs Statistical AnalysisWalid Gaaloul, Claude Godart. 595-600
• Task Anticipation: A Quantitative Analysis Using Workflow Process SimulationIgor Steinmacher, José Valdeni de Lima, Elisa Hatsue Moriya Huzita. 601-606
• AN.P2P - an Active Peer-to-peer SystemChi-Hung Chi, Mu Su, Lin Liu, Hongguang Wang. 607-612
• AAIEPESE Keynote: Artificial Intelligence and Environmental Systems EngineeringNi-Bin Chang. 613-618
• Reengineering a Rule-Based System towards a Planning SystemKaddour Boukerche, Hakim Lounis. 619-624
• Reliability Analysis of Pipe and Filter Architecture StyleSwapna S. Gokhale, Sherif Yacoub. 625-630
• SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case StudyMark A. J. Song, Luis E. Zárate, Sergio M. Dias, A. Alvarez, B. Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, N. Vieira. 631-638
• The Dynamic Casteship Mechanism for Modeling and Designing Adaptive AgentsXinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang. 639-644
• An Ontology Based Multi-Agent System Conceptual ModelWalid Chainbi. 645-650
• A Hierarchical Agent-oriented Knowledge Model for Multi-Agent SystemsLiang Xiao 0002, Des Greer. 651-656
• A Comparative Analysis of i*Agent-Oriented Modelling TechniquesGemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete. 657-663
• A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering EnvironmentNao Li, Mingshu Li, Qing Wang, Shuanzhu Du. 664-669
• A Formal Architectural Model For Mobile Service SystemsZuohua Ding. 670-675
• An Environment of Knowledge Discovery in DatabaseMaria Madalena Dias, Roberto Carlos dos Santos Pacheco, Lúcio Gerônimo Valentim. 676-681
• Genre-based approach to Requirements ElicitationAneesh Krishna, Rodney J. Clarke, Aditya K. Ghose. 682-687
• Mobility-based Runtime Load Balancing in Multi-Agent SystemsJan Stender, Silvan Kaiser, Sahin Albayrak. 688-696
• Elevating Interaction Requirements for Web Service CompositionMichelle Hepner, M. Todd Gamble, Rose F. Gamble. 697-701
• Unanticipated Connection of Components Based on Their State Changes NotificationsLuc Fabresse, Christophe Dony, Marianne Huchard. 702-707
• Service Design with the ServiceBlueprintJochen Meis, Lothar Schöpe. 708-713
• Towards Context-based Mediation for Semantic Web Services CompositionMichael Mrissa, Chirine Ghedira, Djamal Benslimane, Zakaria Maamar. 714-719
• The Research and Design of Layered-metadata used for Component-based Software TestingLiangli Ma, Yansheng Lu, Mengren Liu. 720-723
• QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded SystemsShih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston. 724-729
• Performance Evaluation of Component System based on Container style MiddlewareYong Zhang, Ningjiang Chen, Jun Wei, Tao Huang. 730-736
• Two Perspectives on Open-Source Software Evolution: Maintenance and ReuseLiguo Yu, Kai Chen 0003. 737-742