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

2009 International Conference on Model-Based Systems Engineering最新文献

筛选
英文 中文
Creating SysML views from an OPM model 从OPM模型创建SysML视图
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031718
Yariv Grobshtein, D. Dori
{"title":"Creating SysML views from an OPM model","authors":"Yariv Grobshtein, D. Dori","doi":"10.1109/MBSE.2009.5031718","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031718","url":null,"abstract":"Conceptual modeling is key to Model-Based Systems Engineering (MBSE) approaches. OPM - Object-Process Methodology and SysML - OMG Systems Modeling Language are two state-of-the-art conceptual modeling languages. While both languages aim at the same purpose of providing a means for general-purpose systems engineering, these languages take different approaches in realizing this goal. As each of the languages has its relative strengths and weaknesses, ways to create synergies between them are considered in this work. We propose combining advantages of each language through automatic generation of SysML views from an OPM model. To this end, we developed a new algorithm and software application implementing the OPM-to-SysML views generation. Our approach can benefit various stakeholders by promoting better system understanding, standardization, and improved interoperability.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"9 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123714416","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
Achieving flexibility in business process modeling using an algebraic language 使用代数语言实现业务流程建模的灵活性
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031720
Lan Xiao, Benjamin H. Y. Koo, Li Zheng
{"title":"Achieving flexibility in business process modeling using an algebraic language","authors":"Lan Xiao, Benjamin H. Y. Koo, Li Zheng","doi":"10.1109/MBSE.2009.5031720","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031720","url":null,"abstract":"Companies nowadays are under increasing pressure to adapt their business processes to the ever-changing business environment. However, most traditional business process modeling (BPM) methods lack enough flexibility. It is hard to extract and reuse information and knowledge embedded in the existing business process models to build new models. We propose an algebraic framework based on a many-sorted algebra, Algebra of System (AoS), to achieve the flexibility in business process modeling. We decompose business process models into different modules of knowledge and encode them as different algebraic domains of AoS. Within each algebraic domain, knowledge is encoded as operands. Based on operands, each algebraic domain is equipped with operators to provide computation capabilities. The operands and operators ensure the flexibility that the framework can achieve and the analysis capabilities that the framework can provide.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128785461","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}
引用次数: 4
Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints UML类图中有限可满足性的有效识别:通过不相交约束的传播加强
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031714
Azzam Maraee, Mira Balaban
{"title":"Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints","authors":"Azzam Maraee, Mira Balaban","doi":"10.1109/MBSE.2009.5031714","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031714","url":null,"abstract":"Models lie at the heart of the emerging Model-driven Engineering approach. In order to guarantee precise, consistent and correct models, there is an urgent need for efficient reasoning methods for verifying model correctness. This paper extends and strengthens our previous work on efficient recognition of finite satisfiability problems in UML class diagrams with constrained generalization sets. First, algorithm FiniteSat is simplified into a single stage process, yielding a more compact linear inequality system. The main contribution of the paper is a method for propagation of disjoint constraints within complex class hierarchy structures, which meaningfully extends the scope of the FiniteSat algorithm. The method relies on a thorough analysis of the interaction between disjoint constraints and the structure of class hierarchy. It is recommended as a pre-processing stage, and being an anytime algorithm, even partial application is useful.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132546487","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}
引用次数: 13
Practicing modelling in manufacturing 制造业建模实践
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031723
H. Tellioglu
{"title":"Practicing modelling in manufacturing","authors":"H. Tellioglu","doi":"10.1109/MBSE.2009.5031723","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031723","url":null,"abstract":"This paper is about understanding modelling practices in manufacturing and contribute in methodologies and approaches facilitating introduction of modelling in a company. Based on ethnographic studies at real work environments and scenario-building workshops, we could identify and analyse several issues like how to involve and engage domain workers in modelling activities, that there are four different levels of formal and informal models (paper-based, table-based, non-executable and executable), that domain workers are first of all interested in the first two levels especially to support product design. Furthermore, modelling of products and processes are interlinked, and different approaches to modelling must be supported and encouraged in an enterprise to enable participation of domain workers in modelling activities.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123858059","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
A generic conceptual model and actual systems of IC-Card system for model-based systems engineering 基于模型的系统工程中ic卡系统的通用概念模型和实际系统
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031722
Donghun Yoon
{"title":"A generic conceptual model and actual systems of IC-Card system for model-based systems engineering","authors":"Donghun Yoon","doi":"10.1109/MBSE.2009.5031722","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031722","url":null,"abstract":"In this paper, a generic conceptual model and actual systems of Japan's IC-Card system for model-based systems engineering are presented and discussed. First, a generic conceptual model of the IC-Card system is discussed. Then Japans various actual IC-Card systems (Electronic Money, Traffic IC-Card, and Mobile IC-Card) are studied using the generic conceptual model of the IC-Card system. This paper also specifies how Japans various actual IC-Card systems differ from the generic conceptual model using the model-based approach to systems engineering.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127942222","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}
引用次数: 2
Verification of embedded system's specification using collaborative simulation of SysML and simulink models 利用SysML和simulink模型协同仿真验证嵌入式系统规范
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031716
R. Kawahara, Dolev Dotan, T. Sakairi, A. Kirshin, T. Sakairi, A. Kirshin, K. Ono, H. Ishikawa
{"title":"Verification of embedded system's specification using collaborative simulation of SysML and simulink models","authors":"R. Kawahara, Dolev Dotan, T. Sakairi, A. Kirshin, T. Sakairi, A. Kirshin, K. Ono, H. Ishikawa","doi":"10.1109/MBSE.2009.5031716","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031716","url":null,"abstract":"The authors propose an extension of SysML which enables description of continuous-time behavior. The authors also develop its execution tool integrated on Eclipse-based platform by exploiting co-simulation of SysML and MATLAB / Simulink. To demonstrate the effectiveness of the tool and the extension to SysML in verifying specifications of an embedded system, we create a sample model and analyze its execution results by checking constraints under a test case.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133304704","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}
引用次数: 55
Collaborative work with Software Models - Industrial experience and requirements 与软件模型协同工作-行业经验和需求
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031721
L. Bendix, P. Emanuelsson
{"title":"Collaborative work with Software Models - Industrial experience and requirements","authors":"L. Bendix, P. Emanuelsson","doi":"10.1109/MBSE.2009.5031721","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031721","url":null,"abstract":"When the initial problems of introducing and adopting model-driven development in a company have been handled, we want to go to work. That means that we have to supply our team of developers with a development environment and tools and processes that allow them to work efficiently. In many cases the team would like to work with models as if it was “just another programming language” and use the same techniques and processes for team collaboration and coordination they are used to from traditional development. Unfortunately some of the traditional tools and processes that work so well for traditional development do not work at all for model-driven development. Version control functionality is usually a key part in coordinating the parallel work in a team and through a set of use cases, we arrive at a number of requirements to a model-driven development environment that must be available for a team of developers to work efficiently.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133538023","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
OPM model based simulation environment for systems engineering conceptualization phase 基于OPM模型的系统工程概念化阶段仿真环境
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031715
Yevgeny Yaroker, Valeriya Perelman, D. Dori
{"title":"OPM model based simulation environment for systems engineering conceptualization phase","authors":"Yevgeny Yaroker, Valeriya Perelman, D. Dori","doi":"10.1109/MBSE.2009.5031715","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031715","url":null,"abstract":"Conceptual design is a crucial system lifecycle stage, but systematic methods for conceptual design evaluation are not well-developed and existing approaches are not satisfactory. In this work we describe implementation and assessment of an advanced simulation environment that can serve conceptual design evaluation purposes using Object-Process Methodology (OPM). The simulation exploits two major advantages of the OPM modeling language: its integration of the structural and behavioral aspects of the system in a single type of diagram and the hierarchical organization of the model diagrams. The simulation of the system model is instrumental in understanding and exploring the behavioral aspects of the system under study and uncovering logical and conceptual problems, such as incorrect control flow and missing structural relations among objects. The latter is achieved via an intuitive user interface and a host of debugging capabilities, including “lifespan” and “Debug Info” components. Using these components, one can explore the state of any OPM entity and be aware of a variety of potential problems that are manifested during the simulation process.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115843955","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
Anticipatory capacity: Leveraging model-based approaches to design systems for dynamic futures 预期能力:利用基于模型的方法为动态未来设计系统
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031719
D. Rhodes, A. Ross
{"title":"Anticipatory capacity: Leveraging model-based approaches to design systems for dynamic futures","authors":"D. Rhodes, A. Ross","doi":"10.1109/MBSE.2009.5031719","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031719","url":null,"abstract":"The paper presents a vision for enhancing anticipatory capacity of engineering organizations, with a goal of enabling the design of systems that can deliver sustained value as the world changes. Anticipatory capacity is the capacity of an organization to continuously develop and apply knowledge acquired through a structured approach to anticipate changing scenarios as needs and context change over time, While anticipation has always had a role in designing systems; the availability of model-based methods has significant implications. Anticipatory capacity extends from three key elements: competencies, methods, and a model-based environment. The paper discusses ongoing and planned research in support of establishing anticipatory capacity in organizations by leveraging the opportunities of model-based engineering.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123562338","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}
引用次数: 19
Scheduling appointments via fluids control 通过流体控制来安排约会
2009 International Conference on Model-Based Systems Engineering Pub Date : 2009-03-02 DOI: 10.1109/MBSE.2009.5031717
Yossef Luzon, A. Mandelbaum, M. Penn
{"title":"Scheduling appointments via fluids control","authors":"Yossef Luzon, A. Mandelbaum, M. Penn","doi":"10.1109/MBSE.2009.5031717","DOIUrl":"https://doi.org/10.1109/MBSE.2009.5031717","url":null,"abstract":"In this research a fluid based appointment book is designed to be used for managing appointment systems. We propose a deterministic fluid control approach for modeling a stochastic single server appointment system with several types of customers. Optimal control functions for the minimum average waiting time objective are presented and used to suggest a scheduling heuristic. The heuristic is then used for constructing our appointment book for scheduling customers in the original stochastic system. We demonstrate the performance of the obtained schedule using simulations.","PeriodicalId":247255,"journal":{"name":"2009 International Conference on Model-Based Systems Engineering","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122622931","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}
引用次数: 7
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学术文献互助群
群 号：481959085
Book学术官方微信