发布求助
文献互助 智能选刊 最新文献

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)最新文献

筛选
英文 中文
Origins of the grid architectural style 网格建筑风格的起源
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.67
J. Cakic, R. Paige
{"title":"Origins of the grid architectural style","authors":"J. Cakic, R. Paige","doi":"10.1109/ICECCS.2006.67","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.67","url":null,"abstract":"The grid represents an emerging class of highly complex distributed systems that aims to realize the full potential of the Web services computational and architectural models. Blueprints and recipes for building grids do not as of yet exist. We present a grid architectural style, and describe how it has been designed, and its relationships with other key elements of distributed systems","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122666997","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}
引用次数: 6
A UML profile utilizing enterprise information system configuration 利用企业信息系统配置的UML概要文件
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.48
M. Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, D. Anagnostopoulos
{"title":"A UML profile utilizing enterprise information system configuration","authors":"M. Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, D. Anagnostopoulos","doi":"10.1109/ICECCS.2006.48","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.48","url":null,"abstract":"Enterprise information system configuration is a complex process dealing with interrelated issues. A four-stage methodology has been proposed in order to effectively explore configuration issues. The main advantage of the proposed methodology is the adoption of a common meta-model for the representation of systems throughout all configuration stages, ensuring interoperability and model consistency. In practice, configuration stages are supported by automated or semi-automated tools, each of which adopts its own meta-model for system representation. In order to apply the methodology using existing autonomous tools, model exchangeability (thus meta-model transformation) and tool co-ordination must be facilitated by standard, open methods. Thus, the common meta-model is implemented in a standard, exchangeable format, as XML. To provide a standard method to visualize the common meta-model, facilitate the designer to interact with it and co-ordinate specific tool invocation, a UML 2.0 profile was defined. Different UML 2.0 diagrams are integrated to support different views of the system. The representation of relationships and restrictions among discrete meta-model entities must be facilitated to identify and explore the dependencies between configuration stages. Constraints are extensively used for this purpose. A case study where the proposed profile utilized the configuration of a large-scale banking system is also presented","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116856914","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}
引用次数: 0
A case history of International Space Station requirement faults 国际空间站需求故障的历史案例
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.77
J. Hayes, I. Raphael, E. A. Holbrook, D. Pruett
{"title":"A case history of International Space Station requirement faults","authors":"J. Hayes, I. Raphael, E. A. Holbrook, D. Pruett","doi":"10.1109/ICECCS.2006.77","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.77","url":null,"abstract":"There is never enough time or money to perform verification and validation (V&V) or independent verification and validation (IV&V) on all aspects of a software development project, particularity for complex computer systems. We have only high-level knowledge of how the potential existence of specific requirements faults increases project risks, and of how specific V&V techniques (requirements tracing, code analysis, etc.) contribute to improved software reliability and reduced risk. An approach to this problem, fault-based analysis, is proposed and a case history of the National Aeronautics and Space Administration's (NASA) International Space Station (ISS) project is presented to illustrate its use. Specifically, a tailored requirement fault taxonomy was used to perform trend analysis of the historical profiles of three ISS computer software configuration items as well as to build a prototype common cause tree. ISS engineers evaluated the results and extracted lessons learned","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130499131","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}
引用次数: 11
Reactive component based service-oriented design - a case study 基于服务设计的响应式组件——一个案例研究
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.70
J. Liu, Jifeng He
{"title":"Reactive component based service-oriented design - a case study","authors":"J. Liu, Jifeng He","doi":"10.1109/ICECCS.2006.70","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.70","url":null,"abstract":"Service-oriented design (SOD) is a software development paradigm that utilizes services as fundamental elements for developing applications/solutions. Recently, service orientation is becoming a mainstream approach for building large scale software systems. However, current software models do not take services as fundamental elements and it is very difficult for people to model from services. We consider that contract equipped reactive component model is well suited for addressing various aspects of service oriented systems including service description, delegation, as well as composition. To demonstrate this idea, a case study: e-commerce application is presented in this paper. We start from analyzing the service that the customers need, then assign the service to the interface, which in turn, delegates the service to the component. A Java-like formal language rCOS is used to describe the models. In our model, interface is used to capture the syntax information and contract is applied to capture the semantics information of the service. Component is obtained by refining the contract to designs","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126513640","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}
引用次数: 5
Multilevel modeling and distributed agent-based inference: the role of system structure 多层建模与分布式智能体推理:系统结构的作用
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.63
G. Provan
{"title":"Multilevel modeling and distributed agent-based inference: the role of system structure","authors":"G. Provan","doi":"10.1109/ICECCS.2006.63","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.63","url":null,"abstract":"We describe a framework for modeling and performing inference on complex systems, based on an attributed programmed graph grammar (APGG) meta-model. We outline this APGG framework, and how it can be used. In particular, show how we can use the underlying system structure as an organizing principle for model specification and analysis. In addition, we examine the attribution we assign to the higher-level systems models, namely a constraint-based language, and how a distributed agent-based approach can regulate inference performed asynchronously on several multi-level models","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"2006 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125612247","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}
引用次数: 1
Engineering emergence 工程出现
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.55
S. Stepney, F. Polack, Heather R. Turner
{"title":"Engineering emergence","authors":"S. Stepney, F. Polack, Heather R. Turner","doi":"10.1109/ICECCS.2006.55","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.55","url":null,"abstract":"We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA (Theory Underpinning Nanotech Assemblers) project, which is investigating emergent engineering in the context of molecular nanotechnology, and use the TUNA case study to explore an architecture suitable for emergent complex systems","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125988570","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}
引用次数: 77
A characterization of UML diagrams and their consistency 对UML图及其一致性的描述
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.78
Xiaoshan Li
{"title":"A characterization of UML diagrams and their consistency","authors":"Xiaoshan Li","doi":"10.1109/ICECCS.2006.78","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.78","url":null,"abstract":"In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130592613","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}
引用次数: 9
Integrating functional and security requirements with use case decomposition 将功能和安全需求与用例分解相集成
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.59
Joshua J. Pauli, Dianxiang Xu
{"title":"Integrating functional and security requirements with use case decomposition","authors":"Joshua J. Pauli, Dianxiang Xu","doi":"10.1109/ICECCS.2006.59","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.59","url":null,"abstract":"Misuse case modeling is a viable option to depict the security requirements together with functional requirements. To investigate the interplay between functional and security requirements, this paper presents an approach to decomposing use cases, misuse cases, and mitigation use cases. We identify relationships among decomposed cases for each case type (use, misuse, mitigation use) and ensure consistency among the cases as decomposition occurs by properly modeling shared and optional cases. We also assign applicable actors to the decomposed cases. Decomposition is conducted for each case type independently and then integrated with the \"threatens\" and \"mitigates\" relationships. We provide processes for the proper use of the \"threatens\" relationship between misuse cases and use cases and the \"mitigates\" relationship between mitigation use cases and misuse cases at different levels of abstraction. Thus, a complete set of security-centric requirements can be specified from the project outset to guide subsequent software development phases","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121177272","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}
引用次数: 20
A grid based framework and tools for automating production of cross media content 一个基于网格的框架和工具，用于跨媒体内容的自动化生产
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.79
P. Bellini, I. Bruno, P. Nesi
{"title":"A grid based framework and tools for automating production of cross media content","authors":"P. Bellini, I. Bruno, P. Nesi","doi":"10.1109/ICECCS.2006.79","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.79","url":null,"abstract":"The evolution of content distribution for entertainment and infotainment is urging better pricing and value-for-money for industry products and services. Content providers, aggregators and distributors constantly need to adopt innovative means for reducing costs and to satisfy the user needs. AXMEDIS framework, aims at providing technical solutions and tools for automating content production, formatting, protection and distribution. The solution described in the paper was designed as a distributed environment based on the GRID technology and provides an efficient management of content production/finalization as well as the dynamic service discovery and composition, distributed resource management and adaptive media delivery. AXMEDIS is a large 1ST FP6 Integrated Project of Research and Development, in which a set of enabling technologies are developed to cope with the above mentioned problems","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129963396","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}
引用次数: 3
A type system for the relational calculus of object systems 对象系统关系演算的类型系统
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.47
Liang Zhao, Xiangpeng Zhao, Quan Long, Z. Qiu
{"title":"A type system for the relational calculus of object systems","authors":"Liang Zhao, Xiangpeng Zhao, Quan Long, Z. Qiu","doi":"10.1109/ICECCS.2006.47","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.47","url":null,"abstract":"Being a successful technique in software practice, object orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of object-oriented systems based on unifying theories of programming (UTP), has been proven a promising one in the sense of its applications to incremental software constructions, the formal use of UML, etc. However, equipped with a semantics reasoning on both static and dynamic properties, rCOS is not designed for static checking. We believe introducing static checking will extend the power of rCOS. In this paper, we develop a type system for rCOS and prove some type safety theorems. To make the theoretical results of this paper convincible and easy to be understood, we follow the traditional approaches of type systems construction. That is, we use an operational semantics as the basic explanation of rCOS language in spite of the fact that rCOS is originally developed in a denotational framework","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126431677","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}
引用次数: 6
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信