2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)最新文献_第2页

Cyber Security Education and Law “网络安全教育与法律”

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.21

A. Wilk

引用次数: 11

Using Computer Programming Competition for Cyber Education 利用电脑程式设计比赛进行网络教育

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.22

Oded Margalit

引用次数: 2

Implementing an International Standard for Manufacturing System Lifecycle Management Using Object-Process Methodology 使用对象过程方法实施制造系统生命周期管理的国际标准

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.18

Rea Lavi, D. Dori, Y. Dori

{"title":"Implementing an International Standard for Manufacturing System Lifecycle Management Using Object-Process Methodology","authors":"Rea Lavi, D. Dori, Y. Dori","doi":"10.1109/SWSTE.2016.18","DOIUrl":"https://doi.org/10.1109/SWSTE.2016.18","url":null,"abstract":"Object-Process Methodology (OPM) is a model-based systems engineering methodology which has been recognized as an ISO 19450:2015 standard for automation systems and integration. It is domain-independent and intended for conceptual modeling of systems of various kinds. We collaborated remotely with a team that had implemented this methodology for modeling their proposed international standard, which concerned manufacturing systems lifecycle management. The goal of this collaboration was to achieve a satisfactory level of text-model coherence and model quality for the proposed standard that comply with ISO 19450. Achieving this goal proved to be an ill-structured problem, without defined initial or final states and without a clear procedure for solving it. We compare three latter versions of the conceptual model using a quality assessment rubric that has been validated in previous studies. Utilizing OPM in this capacity enabled efficacious evaluation of model quality at every stage of authoring. The case described herein demonstrates how OPM can be utilized by interdisciplinary teams to tackle ill structured problems more effectively.","PeriodicalId":118525,"journal":{"name":"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122500881","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

Multilevel Modeling and Reasoning with FOML 基于FOML的多层次建模与推理

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.17

Mira Balaban, Igal Khitron, M. Kifer

{"title":"Multilevel Modeling and Reasoning with FOML","authors":"Mira Balaban, Igal Khitron, M. Kifer","doi":"10.1109/SWSTE.2016.17","DOIUrl":"https://doi.org/10.1109/SWSTE.2016.17","url":null,"abstract":"Multilevel system modeling deals with the representation and implementation of relationships among types and among types and instances in software systems. It raises questions of interpretation and organization of types and instances in strict or interleaved layers. Reasoning over multilevel models requires a logic language that provides a uniform, extensible and flexible account for intra-type relationships, and type-instance relationships. FOML is a logic programming language that provides an expressive, executable formal basis for software models. It supports a wide variety of model-level activities, including reasoning about models, meta-modeling, and more. It is built as a semantic layer on top of PathLP, a compact logic programming language of guarded path expressions. In this paper we advocate the use of FOML as an underlying framework for the development and analysis of multilevel software modeling. We argue that FOML is suitable for multilevel modeling and for reasoning about such models. We show that FOML possesses major features needed for such tasks, including type-instance mixing in various organizational architectures, and demonstrate a sizable example using several approaches.","PeriodicalId":118525,"journal":{"name":"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)","volume":"83 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114118312","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

Modeling and Reconstruction of Multi-stage Attacks 多阶段攻击建模与重构

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.27

S. Rubinshtein, Rami Puzis

引用次数: 3

A Preliminary Survey on Domain-Specific Languages for Machine Learning in Big Data 面向大数据机器学习的领域特定语言初探

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.23

I. Portugal, P. Alencar, D. Cowan

引用次数: 20

On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks 无线工业控制网络的建模、复杂性和自动组态研究

2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE) Pub Date : 2016-06-23 DOI: 10.1109/SWSTE.2016.26

Amir Menczel, Gera Weiss, Dror Fried

引用次数: 1