{"title":"Model-Based Engineering of Software: Three Productivity Perspectives","authors":"S. Bohner, Sriram Mohan","doi":"10.1109/SEW.2009.19","DOIUrl":"https://doi.org/10.1109/SEW.2009.19","url":null,"abstract":"Evolving software products is a tricky business, especially when the domain is complex and changing rapidly. Like other fields of engineering, software engineering productivity advances have come about largely through abstraction, reuse, process, and automation (e.g., moving from assembly language to third generation languages offered increased productivity through better abstraction). For canonical or domain applications, model-based engineering (MBE) of software provides a systematic approach for producing software systems that leverage all of these avenues of productivity. Specifying or modeling software at higher levels of abstraction and connecting these representations with previously developed (reusable) components provides a repeatable assembly and transformation process that can often be automated. Since 2004, we have explored MBE for generating software from the high-level for sophisticated agent-based systems, low-level complexity in the details of software-defined radios, and more recently with the maturation of emergent systems found in social networking (i.e., Facebook-like systems). While productivity is a key benefit of MBE in software, there have been few studies that examine productivity. In this paper, we present our experience in these efforts and reflect on some productivity implications. Our experience shows that MBE introduces some complexities early in the product life cycle, but provides a stable basis for better productivity through systematic abstraction, reuse, process, and automation.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114952204","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development","authors":"B. Gallina, N. Guelfi, Pierre Kelsen","doi":"10.1109/SEW.2009.13","DOIUrl":"https://doi.org/10.1109/SEW.2009.13","url":null,"abstract":"SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a full formal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a Transactional Model and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121227437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R.C.S. Sousa, A.L.F. da Cunha, R.F.A. Martins, Vera Werneck, L. M. Cysneiros
{"title":"Evaluating MaSE Methodology in the Requirements Identification","authors":"R.C.S. Sousa, A.L.F. da Cunha, R.F.A. Martins, Vera Werneck, L. M. Cysneiros","doi":"10.1109/SEW.2009.21","DOIUrl":"https://doi.org/10.1109/SEW.2009.21","url":null,"abstract":"Agent orientation appears as a solution for constructing complex systems adapting the requirements identification to cope with agent properties like autonomy, sociability and pro-activeness. Many methodologies were proposed adopting this new paradigm. However, most of them are still in development and therefore need to be adapted. In this work MaSE, an agent-oriented methodology is evaluated. We use an exemplar proposed in 2001 by Yu and Cysneiros [1] to evaluate both agent/goal orientation and object orientation. This evaluation aims at analysing which are the strengths and weaknesses of MaSE through the methodologies questions proposed in the exemplar.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127011320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards Specification and Refinement of Contracts with Environment Changes","authors":"Qin Li, Huibiao Zhu","doi":"10.1109/SEW.2009.12","DOIUrl":"https://doi.org/10.1109/SEW.2009.12","url":null,"abstract":"The web environment creates risks together with benefits for web services. Web services often engage attacks from hackers or anyone having hostile intensions. The behavior of services is often effected by the environment changes which should be included in its specifications. In addition, services usually have some mechanisms provided by the developers to deal with the environment changes, especially attacks. However, common specifications of services seldom contain such information. This paper provides a formal behavioral model based on the service behaviors related to its environments and environment changes. A refinement relation is also provided in the behavior model. This model can form a view to analyze the environment influence to the service and compare them according to their defending mechanisms.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129165111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Eler, A. T. Endo, P. Masiero, M. Delamaro, J. Maldonado, A. Vincenzi, M. Chaim, D. M. Beder
{"title":"JaBUTiService: A Web Service for Structural Testing of Java Programs","authors":"M. Eler, A. T. Endo, P. Masiero, M. Delamaro, J. Maldonado, A. Vincenzi, M. Chaim, D. M. Beder","doi":"10.1109/SEW.2009.10","DOIUrl":"https://doi.org/10.1109/SEW.2009.10","url":null,"abstract":"Web services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need different tools on each activity. Software engineers could take advantage of software engineering tools available as web services and create their own workflow for integrating the required tools. In this paper, we propose the development of testing tools designed as web services and discuss the pros and cons of this idea. We developed a web service for structural testing of Java programs called JaBUTiService, which is based on the stand-alone tool JaBUTi. We also present an usage example of this service with the support of a desktop front-end and pre prepared scripts. A set of 62 classes of the library Apache-Commons-BeanUtils was used for this test and the results are discussed.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133176081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Complexity Reduction in Developing Autonomic Systems with ASSL","authors":"Emil Vassev, M. Hinchey","doi":"10.1109/SEW.2009.11","DOIUrl":"https://doi.org/10.1109/SEW.2009.11","url":null,"abstract":"Autonomic computing promises overall IT complexity reduction by hiding system complexity and intricacy via systems capable of self-management. However, despite the fact that such systems reduce software maintenance costs and complexity, the autonomic computing approach does not provide any means for complexity reduction in autonomic system development. In this paper, we present our approach to reducing the complexity of developing autonomic systems with the Autonomic System Specification Language (ASSL). This paper reasons on the complexity-reduction factors employed by ASSL in terms of properly designed abstractions and a variety of complexity-reduction specification features.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131582151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
João Alberto Neves dos Santos Filho, R. Choren, K. Breitman
{"title":"AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems","authors":"João Alberto Neves dos Santos Filho, R. Choren, K. Breitman","doi":"10.1109/SEW.2009.20","DOIUrl":"https://doi.org/10.1109/SEW.2009.20","url":null,"abstract":"Agent-oriented design relies on key abstractions: goals, plans and actions. These abstractions are used by several agent modeling languages and methodologies to specify the many different multi-agent system (MAS) features. Nevertheless, there are some agency features that cannot be properly modularized using only these abstractions. The Aspect-Oriented Programming paradigm allows the modularization of agency concerns, preventing scattered and tangled code through a development methodology. This paper presents AgentCross, an agent methodology independent platform that allows the implementation of crosscutting concerns in MAS. AgentCross proposes the inclusion of aspect-oriented abstractions into the agent platform specified by FIPA. This is achieved by the integration of JADE agent platform and AspectJ. We describe the new agent crosscutting abstractions, the platform integration and we also show a simple example of the implementation of crosscutting concerns in a MAS.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127191443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
