(0 Article)

Proceedings of the Software Engineering (SE 2010) conference

Conferences Académiques - Proceedings of the Software Engineering (SE 2010) conference
Conferences Académiques

Par : Global Science & Technology Forum

Date : 2010

Location : Thaïlande / Phuket Beach Resort

PDF 151p
Description :

Software Engineering is an approach to developing software that attempts to treat it as a formal process more like traditional engineering than the craft that many programmers believe it is

Mots clés :

Software design, Model transformation, software development process, SDP, Business oriented meta-model

Mots clés dans les documents :

software ,system ,engineering ,agent ,service ,process ,requirements ,project ,model ,systems ,testing ,development ,services ,based ,checkpointing ,aspect ,analysis ,models ,agents ,oriented

Information produit/documentation
A Case Study in Formalizing UML Software Models of Safety Critical Systems

Description Organization : The Unified Modeling Language (UML) is the ISO Standard for designing graphical models of software systems in both industry and academia. It promotes some of the best software development practices; however, a feature of the UML is its imprecise semantics, which has a disadvantage of producing ambiguous models. In safety critical systems, ambiguity could result in the loss of property or be detrimental to life. With the continuous use of UML in the software industry, there is a need to augment the informality of software models produced. The objective of this research is to use formal specification to enhance the imprecise semantics of UML and analyze its significance to safety critical systems. The outcome of this activity is a systematic process to transform ambiguous UML class diagrams to a formal representation for verification and validation.

Product Type : Conferences Académiques

Auteur : Various

PDF 5p

Langues : Anglais

 Proceedings from the Software Engineering (SE 2010) conference.

 

Software Engineering is an approach to developing software that attempts to treat it as a formal process more like traditional engineering than the craft that many programmers believe it is. Designing software is an exercise in managing complexity. The complexity exits within the software design itself, within the software organization of the company, and within the industry as a whole. In many ways, software bears more resemblance to complex social or organic systems than to hardware. All of this makes software design a difficult and error prone process.

Abstracts from papers included in the Software Engineering (SE 2010) conference proceedings.

 

1. Integrating Deadline-Constrained Checkpointing in a Batch Scheduler for Dynamic Environments

Blaise Omer Yenke, INRIA Mescal research team, CNRS LIG lab., Grenoble France
Jean-Franc¸ois Mehaut,INRIA Mescal research team, CNRS LIG lab., Grenoble France
Jean Michel Nlong II,Dept. of Computer Science, Faculty of Sciences, University of Ngaoundere, Cameroon
Rodrigue Chakode, INRIA Mescal research team, CNRS LIG lab., Grenoble France


This paper sets out to present the integration of the scheduling of deadline-constrained checkpointing in a batch schedulerfor dynamic environments such as virtual clusters. The checkpointing scheduler implemented focuses on the parallel checkpointing on a unique server of long-running independent applications in a virtual cluster made up of free resources for long periods of an intranet network, assuming that the resources must be released within a delay T. As parallel checkpointing on a unique server can face bandwidth constraints, the checkpointing scheduler uses a function that gives the aggregated bandwidth suitable for the parallel checkpointing of m applications of aggregated size V to solve the deadline-constrained checkpointing problem within the deadline T. Specifically, we present the integration of the checkpointing scheduler in the batch scheduler OAR. This implementation uses data from the OAR database for the checkpointing scheduling. It is portable and can be easily modified to interact with any other batchscheduler, provided that the structure of the database isknown and an estimator of the bandwidth of the systemsuitable for parallel checkpointing available. Experimentalresults obtained on a virtual cluster built on GRID5000 show that the implementation of the checkpointing scheduler does not induce a significant overhead on checkpointing mechanisms. As a consequence, this work aims at providing HPC platforms for a tool to enhance the quality of services offered to end users.

 

2. Creation and Content Complexities: A Maintenance Perspective of Web Pages

Thiam Kian Chiew, Fac. of Comp. Science and Information Technology, University of Malaya, Kuala Lumpur, Malaysia.

Karen Renaud, Department of Computing Science, University of Glasgow,
Glasgow, United Kingdom.

 

The ease of creating Web pages with the aid of various authoring tools and the pressure to design, develop and deploy Web pages within a short period have resulted in Web pages that are not only improperly designed, but are also characterized by a lack of adequate documentation, if documentation exists at all. Reverse engineering is therefore a feasible approach to supporting maintenance of Web sites. In this paper, we present a reverse engineering approach for Web page maintenance which utilizes a number of systematic steps in order to evaluate individual Web pages, particularly in terms of characteristics that affect Web page response time. Webpages are evaluated from the perspective of their creation and content complexity. Each type of complexity is represented by three complexity dimensions. This Webpage complexity model was empirically tested to verify correctness, and the results were encouraging, demonstrating the potential of this approach. We applied the approach on a prototype Web site and were able to identify and rectify problematic Web pages in terms of slow response time.

 

3. A Theoretical Evaluation of Automated Aspect-Oriented Program Testing Approaches

Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Department of Information Systems, University Putra Malaysia, 43400 Serdang, KL, Malaysia

 

The development of automated testing approaches is not sufficiently addressed in Aspect-Oriented Programming (AOP). To support the advancement in this area, this paper aims to provide an overview and theoretical evaluation of existing approaches. The evaluation is based on a detailed study of literature along with a comparative analysis and characterization of current approaches. As a result, the shortcomings,commonalities, and differences of the current approaches are identified. This can pave the way for further and efficient development on automated AOP testing approaches and finally AOP success.

 

4. Detection of Potential Interference Among Aspects Using Graphical Notation

Zaid Altahat, GE Healthcare, Milwaukee, WI, USA

Luay Tahat, Gulf University for Science and Technology, Mishref, Kuwait


Aspect Interference (AI) in Aspect-Oriented Software Development (AOSD) is critical to the stability of the  software  development.  This  isdue  to  its  impact  in deciding  how  independently  built  software modules  may cooperate and interact to deliver a service. The interaction among  the  independently  built  software  module becomes decisive when the modules are woven together. In this paper, we provide a graph-based solution  that detects possible  interference  among  the  software  design  models. Our  approach analyzes some  of  the  graphical model queries that have a one-to-many map between the point cut elements and the join point elements in AOSD. We propose a modular approach that uses Critical Pair Analysis in the Graph  Transformation  systems  to  detect  potential interference among aspects in different graphical join point models.  Our  initial  results  show  that  the  proposed approach  may  improve  the  software  maintenance  by detecting  aspects  that  are  in  potential  conflict  or dependency on  each  other  in  the  early  stages  of  the software development.

 

5.First draft of the approach of interoperability between applications based on service oriented architecture

S.SAIB, Ecole Nationale des Sciences Appliquées (ENSA)

R.BENMOUSSA, Ecole Nationale des Sciences Appliquées (ENSA)

K.BENGOUD, Ecole Nationale des Sciences Appliquées (ENSA)

 

To position itself in a market where competition has become tremendous, companies must develop an information system flexible, efficient, developing, sustainable and reliable to cover all production activities and management within the company. Therefore we are attending in industrialized companies to consciousness-raising of a concept: interoperability support that allows communication and interaction of different systems outside and inside the company through the sending messages and sharing data. This paper presents an approach to interoperability based on an SOA. Indeed SOA is proposed as a basic architecture of information systems businesses because it offers an effective solution to the problems of reusability, interoperability and reduce coupling between applications.

 

6. A transformation process of a business oriented meta-model to a service oriented meta-model

BENGOUD Kenza, MSYSEP-Laboratory ENSA-Marrakech Cadi Ayad, University-Morocco

BENMOUSSA Rachid, MSYSEP-Laboratory ENSA-Marrakech Cadi Ayad, University-Morocco

SAIB Sara, MSYSEP-Laboratory ENSA-Marrakech Cadi Ayad, University-Morocco

 

In a few years, service-oriented architectures has become major for business information system. Despite its advantages in terms of loose coupling, reusability andinteroperability of services, solutions associated to this approachare dedicated to developers and remain as far from beingtransposed to the world of business. The need for greaterconsistency in the expression of business needs and those serviceswill reflect to the concept of technological service for adapt it tothe strategic scale enterprises. This paper proposes atransformation process, based on the paradigm of mapping, of abusiness-oriented meta-model to a service-oriented meta-modelfor identifying services from business needs.

 

7.Evaluation of Undergraduate Software Engineering Research-Based Project

Faridah Hani Mohamed Salleh, Zailani Ibrahim, Tan Chin Hooi, Yunus Yusoff
Department of Software Engineering, College of Information Technology Universiti Tenaga Nasional, Kajang, Selangor, Malaysia

 

Software engineering is referred to as application ofcomputer science methodologies and techniques to createcomputer software adopting related software engineeringdiscipline. Research based software engineering project forundergraduate students is looking into development of projectwith relation to systematic investigation at formal processesrelated to software engineering discipline. This paper is focusingon the proposal of evaluation scheme for Software Engineering(SE) undergraduate students’ projects. It demonstrates generalguidelines, evaluation scheme and stresses the importance andbenefits of introducing research based project (RBP) toundergraduate students.

 

8. An investigation to find the gap between academy output and software industry skill requirement

Farhan Isteaq Akhanda, Zakia Sultana, Dr.Hasan Sarwar, Dept. of Computer Science and Engineering, United International University, Dhaka, Bangladesh

 

Bangladesh is now going through the growth stage of IT industry. There are over 400 software companies at present. Every year, over 6000 graduates come out from more than 80 universities and 700 colleges. The emerging software companies in Bangladesh, however, feel the necessity of more skilled and competent fresh graduates [19]. An obvious gap between fresh graduates’ capability and industry requirement is felt by both the academy and industry. In order to find the reason behind this gap, we performed some investigation on the academic course curriculum, teaching method, concentration factors etc. In this work, we have done a step by step comparative analysis of the course curriculum of some major national and international universities. Course distribution in different topics has been observed. A comparative analysis isgiven here. Based on the comparative analysis and the teaching practice, suggestions have been proposed in this paper.

 

 

9.SyQL:A Controlled Experiment Concerning the Evaluation of its Benefits

Mirco Bianco, center for Applied Software Engineering, Free University of Bolzano, Via Della Mostra, 4l-39100 Bolzano-Bozen

Ernesto Damiani,  Department of Computer Technology, Universita degli Studi di Milano, Via Bramante, 65l-26013 Crema

 

Although a number of applications exist for extracting and processing software process data, process managers and other software process stakeholders often come up with customized process evaluation requirements, which are not met by available programs. Using general purpose query languages like SQL, retrieval of software process information introduces a cost and competence barrier, since it requires a considerable effort for query writing as well as a deep understanding of process data collection and representation. In this paper, we describe and validate the implementation of a query language, SyQL, mainly but not exclusively designed for software process data. SyQL significantly reduces the competence barrier by providing a query interface aimed to software process data.

 

10. A Methodology of Analysing External Input for Improving Flexibility of Static Execution Time Analysis

Yun-Kwan Kim, Dept. of Computer Science, Konkuk University, Seoul, Korea

Won Shin, Dept. of Computer Science, Konkuk University, Seoul, Korea

Tae-Wan Kim, Dept. of Electrical Engineering, MyongJi University, Gyeonggido, Korea

Chun-Hyon Chang, Dept. of Computer Science, Konkuk University, Seoul, Korea


Static  execution  time  analysis  is  one  of  the  most important  approaches in  real  time  system  to  guarantee  timing reliability. Analyzing execution time in  static manner  is  tedious, due  to unbounded  external  inputs  in  loops and  control  flow.  In the past decades  there has been  substantial  research undergone for  single-path  programming  and  user  annotation. However, it was hard  to take  an  input dependency away  completely, and  to analysis varied execution paths caused by fixed user annotations. In  this  paper we present  a methodology  to  analyze  an  externalinput  for  an execution  time analysis  that  offers  more  useful information  for  user  and  predicts  interval of  the  input.  Our proposed method considers constraint conditions  from branches caused by the input to restrict to available interval for execution time  analysis.  It  provides  information  of  execution  time  to user by the restricted  interval. And  it allows  input after analysis that was not  possible  before.  Thus our  approach  increases effectiveness  to analyze  inputs  and  improves  usability  of  static execution time analysis tools.

 

11. Requirements Engineering for Cloud Computing

Stefan Wind Business Informatics and Systems Engineering University Augsburg,Germany                                                                               Holger Schrödl Business Informatics and Systems Engineering University Augsburg, Germany

 

Cloud  computing  gets  increasingly  established  in industrial  practice  as  an option  for  modeling  costefficient  and  demand-oriented  information systems. Despite  the  increasing  acceptance  of  cloud computing within  the industry  many  important  questions  remain unanswered. Issues related to the best architectures, legal issues  and  pricing  models,  suppliers  of cloud-based solutions  are  faced with  the  question  of appropriate requirements  engineering.  This means  eliciting  optimum understanding of customer's requirement and implementing  this  into appropriate  requirements  of  the solution  to  be  realized.  This  contribution evaluates selected  requirements  engineering  methods  in  terms  of their applicability  to  the  specific  requirements  of cloud based  solutions. Therefore  a  comparison  framework containing  the  features  of  cloud computing  is  developed suitable  for  a  structured  comparison  of different requirements  engineering methods.  This  comparison framework  is applied  to  four established process models for  requirements  engineering followed  by recommendations  for  a  requirements  engineering system adapted to cloud computing.

 

12. Communication Content among Customer and Developer: Software Requirements Elicitation

Noraini Che Pa, Department of Information System, Faculty of Computer Science and Information System, University Putra Malaysia

Abdullah Mohd Zain, Department of Industrial Computing, Faculty of Information Science and Technology, National University of Malaysia

 

Communication is involved among customer and developer during software requirements elicitation. There are several important components of communication such as medium, sender, receiver and messages. The messages in communication relates to input and output from both parties. Most of these messages delivered through communication medium were incompletely, inconsistently and inaccurately defined. An investigation was done to examine the communication content on the current practices between developer and customer in Malaysia. The results of this study had shown some important notes on the practices of communication content during software requirement selicitation process in Malaysia. In addition, most of the practitioners were pursuing the practices that have been traditionally used by the organizations. Consequently, theresults of this study have given us a good incentive to expandour research in the area of software requirements elicitation.

 

13. Automatic Repair of Software Bugs

Hager Hussein, Computer science dep. AAST, Alexandria, Egypt
Mahmoud Farouk Computer science dep. AAST , Alexandria, Egypt
Khaled Mahar  Computer science dep. AAST, Alexandria, Egypt
Osama Badawy Computer science dep. AAST, Alexandria, Egypt

 

Software evaluation reaches the peak when the software passes the testing phase successfully and proves its reliability.Unreliability can be caused due to some bugsthat cannot be detected during the compilation time. The task of fixing these bugs is basically human-only task because of its complexity. Although there are many techniques for automating the detection of these bugs, very much fewer ones exist for correcting them. Rule-based systems can be indispensible when human expertise is not accessible, that is the case when the automation is required. Thus, an After Compilation Fault Correction (AlFC) rule based system is proposed for automating the complex task of fixing such bugs that are not detected in the compilation phase. A prototype for the AlFC system is implemented and applied for the java language with test cases to validate it. Experimental results show the success and effectiveness of the proposed technique.

 

14 An Architectural Analysis Approach for Black-box Component-Based Systems

Novia Admodisastro, Faculty of Computer Science & Information technology,Universiti Putra Malaysia
œœžž†—š›†ŽŒŸ€•–†ŽŒƒGerald Kotonya, Computing Department, Infolab21, Lancaster University, United Kingdom

 

Component-based system development (CBD) is an architecture-centric process that relies on the integration of pre-fabricated software components. These are often blackbox components whose functionality and configuration may not match the "ideal" system architecture. Systematic architectural analysis can help ensure that the risks resulting from architectural adaptations and trade-offs do not adversely affect critical system qualities. The analysis is likely to reveal not only how well an architecture satisfies a particular application context, but also how change to specific quality attributes might affect other quality concerns. Current approaches to architectural analysis vary greatly in their analytical capabilities and support for component-based development making it difficult development contexts. This paper proposes a method for architectural analysis in CBD.

 

15. Optimization Modeling Framework Using the Libraries of the Constraint and Objective Function Pool

€‚ƒ„…†‡ˆ†‰‡Š‹‚„Œ†ŽŒŒ†‘†’ˆ‡Š€„Junho Lee, Jinsoo Choi, Sunhoon Kim, and Young Hoon Lee, Department of Information and Industrial Engineering, Yonsei University, 262 Seongsanno, Seodaemun-gu, Seoul 120-749, KOREA
“Œ”‡ƒ‡•…–†—˜Œ™„†š‚„€†›€ƒ€…™
œœžž†—š›†ŽŒŸ€•–†ŽŒƒ€•‡–†›€ƒ€…™€†Optimization method is the one of the best solutions which are popularly used in the industry such as production planning, scheduling, and resource allocation. Compared to the effectiveness and returns, the practitioners suffer from the difficulties of modeling and implementations. This study focuses on the development of framework for the library base optimization procedure which can be applied easily in the industry even by the practitioners who are not equipped by the specialty of the optimization but by the practice and experiences. Valuesin the industry of manufacturing and services can be added by these modular construction of optimization library.

 

16. Automatic Derivation of Components Using Choreographies - A Case Study

Surya Bahadur Kathayat, Hien Nam Le, and Rolv Bræk, Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway

 

In this paper we use a model driven development approachfor the derivation of the component behaviors fromchoreography models. We consider the reactive system domainwhere services are collaborative in nature involvingone or more active components that may take initiativeson their own. Two different forms of choreography modelshaving different level of details are used. An algorithmis proposed to automatically derive reusable componenttypes utilizing these choreography models. The approachis illustrated with a case study - the European Rail TrafficManagement System.

 

17. Project Performance Measurement System Using an Agent Technology

Yusmadi Yah Jusoh, Mostafa Farshchi, Noraini Che Pa, Masrah Azrifah Azmi Murad, Department of Information System, Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, 43400 Serdang, Selangor, Malaysia

 

Managing the software development project is important to ensure that the project completed on time and within budget. Therefore, project managers should allocate much efforts and better approach to monitor and manage their project performance. Various factors have been proposed by the researchers on measuring the success of the projects. Many project performance measurement models and frameworks also have been suggested to address the problem, however, they are usually hard to manage and inefficient in practice due to the complexity,distribution and dynamism of software projects. An agent technology was adopted to accommodate the complexity,dynamism and changes of the project resources and schedule. This paper illustrates the design of the Project Performance Measurement System (PPMS) to promote and facilitate the process of on-going project. Prometheus Methodology was applied for the system development and will be discuss in detail in this paper. Furthermore the plan for the evaluation approach is also explained.

 

18. Evaluation of Trust Algorithms in Competitive Multi- Agent Systems

Michael deFreitas, Mansour Zand, Harvey Siy, Department of Computer Science University of Nebraska at Omaha Omaha, NE 68182-0500

 

In any multi-agent system (MAS) where agents mustrely on each other in order to achieve individual or shared goals,the issue of trust is important. How does one agent decide whether or not to rely on another, particular agent to perform at ask? How does the agent record the results of any interaction, and possibly use that record in future decisions? How should reputation information be shared between agents, and what level of trust should be placed in that information? These questions are at the forefront of recent research into trust and reputation in MAS, and most research focuses on knowledge representation and algorithms for interpreting that knowledge when making trust decisions. One area not deeply explored is the effect of the MAS environment itself on trust decisions. How should each type of environment – or even an environment where the level of competitiveness changes over time – affect a participating agent’s trust decisions? This work presents design and implementation of a test bed for a trust algorithm that explores environmental factors in an agent’s trust. The main objective of this paper is to represent the details of implementation aspect of this project.

 

19. A Communications Model for the Software Development Process

Dr. Clive C. H. Rosen, School of Computing and Mathematics University of Derby, Derby, UK

 

Current  explanations  of  the  software development  process  (SDP)  are based  on  the Software Development  Life Cycle  (SDLC);  an  ad seriatim progression from one stage to another. But this fails to explain the numerous exceptions that so often  interfere  with  the  process.  This  paper suggests that SDLC could better be understood as a state  model  in  which  the subsequent  state  to  the current state  is indeterminate.  This  is  because the intangible  nature  of  software  results  in  the miscommunication  of abstract  conceptual  models in a volatile environment. Recognising this leads to a different perception of the SDP; one based on an understanding  of  the communications  processes involved  in  software  development.  This paper proposes  a  communications  model  and  suggests that  it provides  a basis  for  further  investigation  of the SDP.

 

20. Reconfigurable Service Oriented Architecture for Service Robots- Challenges and Issues

S. Veera Ragavan, SG. Ponnambalam, School Of Engineering,Monash University, Sunway campus, Malaysia

 

The steady rise of mobile computing devices and wireless networks has ushered a growing interest in Distributed Systems and Applications using loosely coupled Services in a Service-Oriented Architecture (SOA), that gives users more convenience with services specific to their preferences, behavior and local environment. In this work wepresent a SOA for Service Robots as components and applications and the functional and structural features of the architecture have been described. Development of a General Application Framework based on SOA for a Robust Conflict free Robot Navigation System that can be used in all environments employing open systems, open standards andopen source is being proposed here to provide a basis for research and development of complete systems and solutions specifically targeted for Service Robot applications. An example Service using Telematics and Web service techniques illustrates the efficient service invocation and interaction in the SOA.

Integrating Deadline-Constrained Checkpointing in a Batch Scheduler for Dynamic Environments

Description Organization : This paper sets out to present the integration of the scheduling of deadline-constrained checkpointing in a batch schedulerfor dynamic environments such as virtual clusters. The checkpointing scheduler implemented focuses on the parallel checkpointing on a unique server of long-running independent applications in a virtual cluster made up of free resources for long periods of an intranet network, assuming that the resources must be released within a delay T. As parallel checkpointing on a unique server can face bandwidth constraints, the checkpointing scheduler uses a function that gives the aggregated bandwidth suitable for the parallel checkpointing of m applications of aggregated size V to solve the deadline-constrained checkpointing problem within the deadline T. Specifically, we present the integration of the checkpointing scheduler in the batch scheduler OAR. This implementation uses data from the OAR database for the checkpointing scheduling. It is portable and can be easily modified to interact with any other batchscheduler, provided that the structure of the database isknown and an estimator of the bandwidth of the systemsuitable for parallel checkpointing available. Experimentalresults obtained on a virtual cluster built on GRID5000 show that the implementation of the checkpointing scheduler does not induce a significant overhead on checkpointing mechanisms. As a consequence, this work aims at providing HPC platforms for a tool to enhance the quality of services offered to end users.

Product Type : Conferences Académiques

Auteur : Various

PDF 24p

Langues : Anglais

Creation and Content Complexities: A Maintenance Perspective of Web Pages

Description Organization : The ease of creating Web pages with the aid of various authoring tools and the pressure to design, develop and deploy Web pages within a short period have resulted in Web pages that are not only improperly designed, but are also characterized by a lack of adequate documentation, if documentation exists at all. Reverse engineering is therefore a feasible approach to supporting maintenance of Web sites. In this paper, we present a reverse engineering approach for Web page maintenance which utilizes a number of systematic steps in order to evaluate individual Web pages, particularly in terms of characteristics that affect Web page response time. Webpages are evaluated from the perspective of their creation and content complexity. Each type of complexity is represented by three complexity dimensions. This Webpage complexity model was empirically tested to verify correctness, and the results were encouraging, demonstrating the potential of this approach. We applied the approach on a prototype Web site and were able to identify and rectify problematic Web pages in terms of slow response time.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

A Theoretical Evaluation of Automated Aspect-Oriented Program Testing Approaches

Description Organization : The development of automated testing approaches is not sufficiently addressed in Aspect-Oriented Programming (AOP). To support the advancement in this area, this paper aims to provide an overview and theoretical evaluation of existing approaches. The evaluation is based on a detailed study of literature along with a comparative analysis and characterization of current approaches. As a result, the shortcomings,commonalities, and differences of the current approaches are identified. This can pave the way for further and efficient development on automated AOP testing approaches and finally AOP success.

Product Type : Conferences Académiques

Auteur : Various

PDF 9p

Langues : Anglais

Detection of Potential Interference Among Aspects Using Graphical Notation

Description Organization : Aspect Interference (AI) in Aspect-Oriented Software Development (AOSD) is critical to the stability of the software development. This isdue to its impact in deciding how independently built software modules may cooperate and interact to deliver a service. The interaction among the independently built software module becomes decisive when the modules are woven together. In this paper, we provide a graph-based solution that detects possible interference among the software design models. Our approach analyzes some of the graphical model queries that have a one-to-many map between the point cut elements and the join point elements in AOSD. We propose a modular approach that uses Critical Pair Analysis in the Graph Transformation systems to detect potential interference among aspects in different graphical join point models. Our initial results show that the proposed approach may improve the software maintenance by detecting aspects that are in potential conflict or dependency on each other in the early stages of the software development.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

First draft of the approach of interoperability between applications based on service oriented..

Description Organization : To position itself in a market where competition has become tremendous, companies must develop an information system flexible, efficient, developing, sustainable and reliable to cover all production activities and management within the company. Therefore we are attending in industrialized companies to consciousness-raising of a concept: interoperability support that allows communication and interaction of different systems outside and inside the company through the sending messages and sharing data. This paper presents an approach to interoperability based on an SOA. Indeed SOA is proposed as a basic architecture of information systems businesses because it offers an effective solution to the problems of reusability, interoperability and reduce coupling between applications.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

A transformation process of a business oriented meta-model to a service oriented meta-model

Description Organization : In a few years, service-oriented architectures has become major for business information system. Despite its advantages in terms of loose coupling, reusability andinteroperability of services, solutions associated to this approachare dedicated to developers and remain as far from beingtransposed to the world of business. The need for greaterconsistency in the expression of business needs and those serviceswill reflect to the concept of technological service for adapt it tothe strategic scale enterprises. This paper proposes atransformation process, based on the paradigm of mapping, of abusiness-oriented meta-model to a service-oriented meta-modelfor identifying services from business needs.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Evaluation of Undergraduate Software Engineering Research-Based Project

Description Organization : Software engineering is referred to as application ofcomputer science methodologies and techniques to createcomputer software adopting related software engineeringdiscipline. Research based software engineering project forundergraduate students is looking into development of projectwith relation to systematic investigation at formal processesrelated to software engineering discipline. This paper is focusingon the proposal of evaluation scheme for Software Engineering(SE) undergraduate students’ projects. It demonstrates generalguidelines, evaluation scheme and stresses the importance andbenefits of introducing research based project (RBP) toundergraduate students.

Product Type : Conferences Académiques

Auteur : Various

PDF 7p

Langues : Anglais

An investigation to find the gap between academy output and software industry skill requirement

Description Organization : Bangladesh is now going through the growth stage of IT industry. There are over 400 software companies at present. Every year, over 6000 graduates come out from more than 80 universities and 700 colleges. The emerging software companies in Bangladesh, however, feel the necessity of more skilled and competent fresh graduates [19]. An obvious gap between fresh graduates’ capability and industry requirement is felt by both the academy and industry. In order to find the reason behind this gap, we performed some investigation on the academic course curriculum, teaching method, concentration factors etc. In this work, we have done a step by step comparative analysis of the course curriculum of some major national and international universities. Course distribution in different topics has been observed. A comparative analysis isgiven here. Based on the comparative analysis and the teaching practice, suggestions have been proposed in this paper.

Product Type : Conferences Académiques

Auteur : Various

PDF 5p

Langues : Anglais

SyQL:A Controlled Experiment Concerning the Evaluation of its Benefits

Description Organization : Although a number of applications exist for extracting and processing software process data, process managers and other software process stakeholders often come up with customized process evaluation requirements, which are not met by available programs. Using general purpose query languages like SQL, retrieval of software process information introduces a cost and competence barrier, since it requires a considerable effort for query writing as well as a deep understanding of process data collection and representation. In this paper, we describe and validate the implementation of a query language, SyQL, mainly but not exclusively designed for software process data. SyQL significantly reduces the competence barrier by providing a query interface aimed to software process data.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

A Methodology of Analysing External Input for Improving Flexibility of Static Execution Time...

Description Organization : Static execution time analysis is one of the most important approaches in real time system to guarantee timing reliability. Analyzing execution time in static manner is tedious, due to unbounded external inputs in loops and control flow. In the past decades there has been substantial research undergone for single-path programming and user annotation. However, it was hard to take an input dependency away completely, and to analysis varied execution paths caused by fixed user annotations. In this paper we present a methodology to analyze an externalinput for an execution time analysis that offers more useful information for user and predicts interval of the input. Our proposed method considers constraint conditions from branches caused by the input to restrict to available interval for execution time analysis. It provides information of execution time to user by the restricted interval. And it allows input after analysis that was not possible before. Thus our approach increases effectiveness to analyze inputs and improves usability of static execution time analysis tools.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Requirements Engineering for Cloud Computing

Description Organization : Cloud computing gets increasingly established in industrial practice as an option for modeling costefficient and demand-oriented information systems. Despite the increasing acceptance of cloud computing within the industry many important questions remain unanswered. Issues related to the best architectures, legal issues and pricing models, suppliers of cloud-based solutions are faced with the question of appropriate requirements engineering. This means eliciting optimum understanding of customer's requirement and implementing this into appropriate requirements of the solution to be realized. This contribution evaluates selected requirements engineering methods in terms of their applicability to the specific requirements of cloud based solutions. Therefore a comparison framework containing the features of cloud computing is developed suitable for a structured comparison of different requirements engineering methods. This comparison framework is applied to four established process models for requirements engineering followed by recommendations for a requirements engineering system adapted to cloud computing.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Communication Content among Customer and Developer: Software Requirements Elicitation

Description Organization : Communication is involved among customer and developer during software requirements elicitation. There are several important components of communication such as medium, sender, receiver and messages. The messages in communication relates to input and output from both parties. Most of these messages delivered through communication medium were incompletely, inconsistently and inaccurately defined. An investigation was done to examine the communication content on the current practices between developer and customer in Malaysia. The results of this study had shown some important notes on the practices of communication content during software requirement selicitation process in Malaysia. In addition, most of the practitioners were pursuing the practices that have been traditionally used by the organizations. Consequently, theresults of this study have given us a good incentive to expandour research in the area of software requirements elicitation.

Product Type : Conferences Académiques

Auteur : Various

PDF 4p

Langues : Anglais

Automatic Repair of Software Bugs

Description Organization : Software evaluation reaches the peak when the software passes the testing phase successfully and proves its reliability.Unreliability can be caused due to some bugsthat cannot be detected during the compilation time. The task of fixing these bugs is basically human-only task because of its complexity. Although there are many techniques for automating the detection of these bugs, very much fewer ones exist for correcting them. Rule-based systems can be indispensible when human expertise is not accessible, that is the case when the automation is required. Thus, an After Compilation Fault Correction (AlFC) rule based system is proposed for automating the complex task of fixing such bugs that are not detected in the compilation phase. A prototype for the AlFC system is implemented and applied for the java language with test cases to validate it. Experimental results show the success and effectiveness of the proposed technique.

Product Type : Conferences Académiques

Auteur : Various

PDF 7p

Langues : Anglais

An Architectural Analysis Approach for Black-box Component-Based Systems

Description Organization : Component-based system development (CBD) is an architecture-centric process that relies on the integration of pre-fabricated software components. These are often blackbox components whose functionality and configuration may not match the "ideal" system architecture. Systematic architectural analysis can help ensure that the risks resulting from architectural adaptations and trade-offs do not adversely affect critical system qualities. The analysis is likely to reveal not only how well an architecture satisfies a particular application context, but also how change to specific quality attributes might affect other quality concerns. Current approaches to architectural analysis vary greatly in their analytical capabilities and support for component-based development making it difficult development contexts. This paper proposes a method for architectural analysis in CBD.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Optimization Modeling Framework Using the Libraries of the Constraint and Objective Function...

Description Organization : Optimization method is the one of the best solutions which are popularly used in the industry such as production planning, scheduling, and resource allocation. Compared to the effectiveness and returns, the practitioners suffer from the difficulties of modeling and implementations. This study focuses on the development of framework for the library base optimization procedure which can be applied easily in the industry even by the practitioners who are not equipped by the specialty of the optimization but by the practice and experiences. Valuesin the industry of manufacturing and services can be added by these modular construction ofoptimization library.

Product Type : Conferences Académiques

Auteur : Various

PDF 5p

Langues : Anglais

Automatic Derivation of Components Using Choreographies - A Case Study

Description Organization : In this paper we use a model driven development approachfor the derivation of the component behaviors fromchoreography models. We consider the reactive system domainwhere services are collaborative in nature involvingone or more active components that may take initiativeson their own. Two different forms of choreography modelshaving different level of details are used. An algorithmis proposed to automatically derive reusable componenttypes utilizing these choreography models. The approachis illustrated with a case study - the European Rail TrafficManagement System.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Project Performance Measurement System Using an Agent Technology

Description Organization : Managing the software development project isimportant to ensure that the project completed on time and within budget. Therefore, project managers should allocate much efforts and better approach to monitor and manage their project performance. Various factors have been proposed by the researchers on measuring the success of the projects. Many project performance measurement models and frameworks also have been suggested to address the problem, however, they are usually hard to manage and inefficient in practice due to the complexity,distribution and dynamism of software projects. An agent technology was adopted to accommodate the complexity,dynamism and changes of the project resources and schedule. This paper illustrates the design of the Project Performance Measurement System (PPMS) to promote and facilitate the process of on-going project. Prometheus Methodology was applied for the system development and will be discuss in detail in this paper. Furthermore the plan for the evaluation approach is also explained.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Evaluation of Trust Algorithms in Competitive Multi- Agent Systems

Description Organization : In any multi-agent system (MAS) where agents mustrely on each other in order to achieve individual or shared goals,the issue of trust is important. How does one agent decide whether or not to rely on another, particular agent to perform at ask? How does the agent record the results of any interaction, and possibly use that record in future decisions? How should reputation information be shared between agents, and what level of trust should be placed in that information? These questions are at the forefront of recent research into trust and reputation in MAS, and most research focuses on knowledge representation and algorithms for interpreting that knowledge when making trust decisions. One area not deeply explored is the effect of the MAS environment itself on trust decisions. How should each type of environment – or even an environment where the level of competitiveness changes over time – affect a participating agent’s trust decisions? This work presents design and implementation of a test bed for a trust algorithm that explores environmental factors in an agent’s trust. The main objective of this paper is to represent the details of implementation aspect of this project.

Product Type : Conferences Académiques

Auteur : Various

PDF 7p

Langues : Anglais

A Communications Model for the Software Development Process

Description Organization : Current explanations of the software development process (SDP) are based on the Software Development Life Cycle (SDLC); an ad seriatim progression from one stage to another. But this fails to explain the numerous exceptions that so often interfere with the process. This paper suggests that SDLC could better be understood as a state model in which the subsequent state to the current state is indeterminate. This is because the intangible nature of software results in the miscommunication of abstract conceptual models in a volatile environment. Recognising this leads to a different perception of the SDP; one based on an understanding of the communications processes involved in software development. This paper proposes a communications model and suggests that it provides a basis for further investigation of the SDP.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

Reconfigurable Service Oriented Architecture for Service Robots- Challenges and Issues

Description Organization : The steady rise of mobile computing devices and wireless networks has ushered a growing interest in Distributed Systems and Applications using loosely coupled Services in a Service-Oriented Architecture (SOA), that gives users more convenience with services specific to their preferences, behavior and local environment. In this work wepresent a SOA for Service Robots as components and applications and the functional and structural features of the architecture have been described. Development of a General Application Framework based on SOA for a Robust Conflict free Robot Navigation System that can be used in all environments employing open systems, open standards andopen source is being proposed here to provide a basis for research and development of complete systems and solutions specifically targeted for Service Robot applications. An example Service using Telematics and Web service techniques illustrates the efficient service invocation and interaction in the SOA.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

On Document Management Systems

Description Organization : A document management system (DMS) is a central repository used to track and store any type of information of value to an enterprise. A DMS can reduce the risk and costs associated with regulatory compliance and provide a mechanism for controlling documents through their entire life cycle, thus giving an enterprise greater control of document handling and efficiency in information processing. Most current approaches to DMS design are system dependent and involve specific hardware(e.g., firewall, server) and commercial software systems. This paper presents a theoretical framework for DMS in terms of at low-based conceptual model. It includes a description of a document's life cycle in terms of five inclusive stages: receiving, processing, creation, releasing, and transferring.

Product Type : Conferences Académiques

Auteur : Various

PDF 6p

Langues : Anglais

A Case Study in Formalizing UML Software Models of Safety Critical Systems

Description Organization : The Unified Modeling Language (UML) is the ISO Standard for designing graphical models of software systems in both industry and academia. It promotes some of the best software development practices; however, a feature of the UML is its imprecise semantics, which has a disadvantage of producing ambiguous models. In safety critical systems, ambiguity could result in the loss of property or be detrimental to life. With the continuous use of UML in the software industry, there is a need to augment the informality of software models produced. The objective of this research is to use formal specification to enhance the imprecise semantics of UML and analyze its significance to safety critical systems. The outcome of this activity is a systematic process to transform ambiguous UML class diagrams to a formal representation for verification and validation.

Product Type : Conferences Académiques

Auteur : Various

PDF 5p

Langues : Anglais

Organisateur : Global Science & Technology Forum

GSTF provides a global intellectual platform for top notch academics and industry professionals to actively interact and share their groundbreaking research achievements. GSTF is dedicated to promoting research and development and offers an inter-disciplinary intellectual platform for leading scientists, researchers, academics and industry professionals across Asia Pacific to actively consult, network and collaborate with their counterparts across the globe.