检索结果-内蒙古大学图书馆

Dynamic secure aspect modeling with UML: From models to code 05

8th International Conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Jürjens, Jan Houmb, Siv Hilde Software and Systems Engineering Dep. of Informatics TU Munich Germany Department of Computer and Information Science Norwegian University of Science and Technology Norway

ISBN: (纸本)3540290109

Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticipate undesirable emergent behavior. In this work, we propose an approach to develop and analyze security-critical specifications and implementations using aspect-oriented modeling. Since we focus on the dynamic views of a system, our work is complementary to existing approaches to security aspects mostly concerned with static views. Our approach includes a link to implementations in so far as the code which is constructed from the models can be analyzed automatically for satisfaction of the security requirements stated in the UML diagrams. We present tool support for our approach. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

Experience report: Appropriateness of the BCI-Method for identifying business components in large-scale information systems

Experience report: Appropriateness of the BCI-Method for ide...

引用

Conference on Component-Oriented Enterprise Applications, COEA 2005

作者： Selk, Bernhard Kloeckner, Sebastian Bazijanec, Bettina Albani, Antonia University of Augsburg Department of Business Informatics and Systems Engineering 86159 Augsburg Germany Delft University of Technology Department of Software Engineering PO Box 5031 2600 GA Delft Netherlands

ISBN: (纸本)3885793997

The deployment of business components in large enterprise information systems offers great potential. Nonetheless the process of finding and defining the right business components is very challenging. While the definition of business components is comparatively simple for small business domains, it becomes very complex for larger domains of interest. This paper illustrates the experiences made during the modeling process of an integrated information system architecture for Customer Relation Management (CRM) and Supply Chain Management (SCM) with more than 500 functions and 1000 information objects under usage of the Business Component Identification (BCI)-Method. Based on this experience possible enhancements and needed extensions for the BCI-Method are proposed and explained.

关键词： Supply chain management

来源：评论

学校读者我要写书评

暂无评论

Critical systems Development Using Modeling Languages (CSDUML'04): Current developments and future challenges (Report on the third international workshop) 1

引用

UML 2004 Satellite Activities

作者： Jürjens, Jan Fernandez, Eduarde B. France, Robert B. Rumpe, Bernhard Heitmeyer, Constance Software and Systems Engineering Dep. of Informatics TU Munich Germany Dep. of Computer Science and Engineering Florida Atlantic University United States Computer Science Department Colorado State University United States Software Systems Engineering TU Braunschweig Germany Naval Research Laboratory United States

We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical systems Development Using Modeling Languages (CSDUML'04). © Sprin... 详细信息

ISBN: (数字)9783540317975

ISBN: (纸本)9783540250814

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Towards the integration of versioning systems, bug reports and source code meta-models

Towards the integration of versioning systems, bug reports a...

引用

Proceedings of the Workshop on software Evolution through Transformation: Model-Based vs. Implementation-Level

作者： Antoniol, Giuliano Di Penta, Massimiliano Gall, Harald Pinzger, Martin RCOST - Res. Ctr. Software Technol. University of Sannio Department of Engineering Palazzo ex Poste Via Traiano 82100 Benevento Italy University of Zurich Department of Informatics Technical University of Vienna Information Systems Institute

Versioning system repositories and bug tracking systems are valuable sources of information to study the evolution of large open source software systems. However, being conceived for specific purposes, i.e., to support the development or trigger maintenance activities, they do neither allow an easy information browsing nor support the study of software evolution. For example, queries such as locating and browsing the faultiest methods are not provided. This paper addresses such issues and proposes an approach and a framework to consistently merge information extracted from source code, versioning repositories and bug reports. Our information representation exploits the property concepts of the FAMIX information exchange meta-model, allowing to represent, browse, and query, at different level of abstractions, the concept of interest. This allows the user to navigate back and forth from versioning system modification reports to bug reports and to source code. This paper presents the analysis framework and approaches to populate it, tools developed and under development for it, as well as lessons learned while analyzing several releases of Mozilla. © 2005 Elsevier B.V.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Populating an allergens ontology using natural language processing and machine learning techniques

引用

10th Conference on Artificial Intelligence in Medicine, AIME 2005

作者： Valarakos, Alexandros G. Karkaletsis, Vangelis Alexopoulou, Dimitra Papadimitriou, Elsa Spyropoulos, Constantine D. Software and Knowledge Engineering Lab. Inst. of Informatics and Telecomm National Center for Scientific Research Demokritos 153 10 Ag. Paraskevi Greece Department of Information and Telecommunication Systems Engineering School of Sciences University of the Aegean 83200 Karlovassi Samos Greece

ISBN: (纸本)3540278311

Ontologies are becoming increasingly important in the biomedical domain since they enable the re-use and sharing of knowledge in a formal, homogeneous and unambiguous way. In the rapidly growing field of biomedicine, knowledge is usually evolving and there-fore an ontology maintenance process is required to keep the ontological knowledge up-to-date. This paper presents our approach for populating a formally defined ontology for the allergen domain exploiting PubMed abstracts on allergens and using natural language processing and machine learning techniques. This approach is composed of two stages: locating initially instances of ontology concepts in the PubMed corpus, and finding at a 2nd stage instances' properties and relations between instances. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

A retraining methodology for enhancing agent intelligence

A retraining methodology for enhancing agent intelligence

引用

International Conference on Integration of Knowledge Intensive Multi-Agent systems (KIMAS)

作者： P.A. Mitkas A.L. Symeonidis I.N. Athanasiadis Intelligent Systems and Software Engineering Laboratory Informatics and Telematics Institute CERTH Thessaloniki Greece Electrical and Computer Engineering Department Aristotle University of Thessaloniki Thessaloniki Greece

Data mining has proven a successful gateway for discovering useful knowledge and for enhancing business intelligence in a range of application fields. Incorporating this knowledge into already deployed applications, though, is highly impractical, since it requires reconfigurable software architectures, as well as human expert consulting. In an attempt to overcome this deficiency, we have developed agent academy, an integrated development framework that supports both design and control of multiagent systems (MAS), as well as agent training. We define agent training as the automated incorporation of logic structures generated through data mining into the agents of the system. The increased flexibility and cooperation primitives of MAS, augmented with the training and retraining capabilities of agent academy, provide a powerful means for the dynamic exploitation of data mining extracted knowledge. In this paper, we present the methodology and tools for agent retraining. Through experimental results with the agent academy platform, we demonstrate how the extracted knowledge can be formulated and how retraining can lead to the improvement - in the long run - of agent intelligence.

关键词： Intelligent agent Delta modulation Data mining Humans Companies Application software software architecture Multiagent systems Reconfigurable logic Collaborative software

来源：评论

学校读者我要写书评

暂无评论

A name-matching algorithm for supporting ontology enrichment

引用

3rd Hellenic Conference on Artificial Intelligence, SETN 2004

作者： Valarakos, Alexandros G. Paliouras, Georgios Karkaletsis, Vangelis Vouros, George Software and Knowledge Engineering Laboratory Institute of Informatics and Telecommunications National Centre for Scientific Research ‘Demokritos’ 153 10 Ag Paraskevi Athens Greece Department of Information and Telecommunication Systems Engineering School of Sciences University of the Aegean Karlovassi Samos83200 Greece

ISBN: (纸本)3540219374

Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology maintenance process is required. In the context of ontology maintenance we tackle the problem that arises when an instance/individual is written differently (grammatically, orthographically, lexicographically), while representing the same entity/ concept. This type of knowledge is captured into a semantic relationship and constitutes valuable information for many intelligent methods and systems. We enrich a domain ontology with instances that participate in this type of relationship, using a novel name matching method based on machine learning. We also show how the proposed method can support the discovery of new entities/concepts to be added to the ontology. Finally, we present experimental results for the enrichment of an ontology used in the multi-lingual information integration project CROSSMARC. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Enhancing ontological knowledge through ontology population and enrichment 1

引用

14th International Conference EKAW 2004: engineering Knowledge in the Age of the Semantic Web

作者： Valarakos, Alexandros G. Paliouras, Georgios Karkaletsis, Vangelis Vouros, George Software and Knowledge Engineering Laboratory Institute of Informatics and Telecommunications National Centre for Scientific Research Demokritos 153 10 Ag. Paraskevi Athens Greece Department of Information and Telecommunication Systems Engineering School of Sciences University of the Aegean 83200 Karlovassi Samos Greece

ISBN: (数字)9783540302025

ISBN: (纸本)9783540233404

Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology maintenance process is required to keep the ontological knowledge up-to-date. We proposed an incremental ontology maintenance methodology which exploits ontology population and enrichment methods to enhance the knowledge captured by the instances of the ontology and their various lexicalizations. Furthermore, we employ ontology learning techniques to alleviate as much as possible the intervention of human into the proposed methodology. We conducted experiments using the CROSSMARC ontology as a case study evaluating the methodology and its partial methods. The methodology performed well enhancing the ontological knowledge to 96.5% from only 50%. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 2981卷 V-VI页

作者： Müller-Schloer, Christian Ungerer, Theo Bauer, Bernhard University of Hannover Institute of Systems Engineering System and Computer Architecture - SRA Appelstr. 4 Hannover Germany University of Augsburg Institute of Informatics Augsburg Germany University of Augsburg Department of Software Engineering and Programming Languages Augsburg Germany

来源：评论

学校读者我要写书评

暂无评论

Emerging OCL tools

引用

software & systems Modeling 2003年第4期2卷 248-261页

作者： Ambrosio Toval Víctor Requena José Luis Fernández Software Engineering Research Group Department of Informatics and Systems Faculty of Informatics University of Murcia Murcia Spain

The Object Constraint Language (OCL) is a notational language for analysis and design of software systems, which is used in conjunction with the Unified Modelling Language (UML) to specify the semantics of the building blocks precisely. OCL can also be used by other languages, notations, methods and software tools in order to specify restrictions and other expressions of their models. Likewise, OCL is used by the Object Management Group (OMG) in the definition of other fast spreading industrial standards such as Meta Object Facility (MOF) or XML Metadata Interchange (XMI). Support tools aimed at making this language easier to use are becoming available. These tools are capable of supporting and handling OCL expressions. This paper presents a comparative study of the main tools currently available, both commercial and freely available ones. The study is very practical, with the advantages and disadvantages of the different tools being pointed out. The evaluations made may be of use in helping those developers and analysts who already use the language, as well as those who intend to use it in the near future, to choose the OCL tool which best adapts to their requirements.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：