The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.
{"title":"Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models","authors":"Thomas Kühne","doi":"10.1145/2976767.2976770","DOIUrl":"https://doi.org/10.1145/2976767.2976770","url":null,"abstract":"The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117150375","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}
In order to optimize the use of resources of interdependent systems we need to perform strategic analysis of resources. Game theory is the discipline of science that studies strategy. Epistemic game theory explores how individuals reason about others choices for decision making. This theory can play a vital role for optimizing the use of distributed resources since our systems are continuously providing support for decision making where the outcome of a decision is dependent on other systems. We use a model driven approach to build a bridge between software models and epistemic game theory. In this initial work, we have shown how software models such as entity models may be used for building epistemic models. We propose an algorithm for constructing epistemic models where conflict situations are represented with the use of diagrammatic constraints. We use examples from the healthcare domain to explain the proposed technique.
{"title":"Towards a categorical approach for meta-modelling epistemic game theory","authors":"F. Rabbi, Yngve Lamo, Ingrid Chieh Yu","doi":"10.1145/2976767.2976771","DOIUrl":"https://doi.org/10.1145/2976767.2976771","url":null,"abstract":"In order to optimize the use of resources of interdependent systems we need to perform strategic analysis of resources. Game theory is the discipline of science that studies strategy. Epistemic game theory explores how individuals reason about others choices for decision making. This theory can play a vital role for optimizing the use of distributed resources since our systems are continuously providing support for decision making where the outcome of a decision is dependent on other systems. We use a model driven approach to build a bridge between software models and epistemic game theory. In this initial work, we have shown how software models such as entity models may be used for building epistemic models. We propose an algorithm for constructing epistemic models where conflict situations are represented with the use of diagrammatic constraints. We use examples from the healthcare domain to explain the proposed technique.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122566541","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}
Ran Wei, D. Kolovos, A. García-Domínguez, Konstantinos Barmpis, R. Paige
XML Metadata Interchange (XMI) is an OMG-standardised model exchange format, which is natively supported by the Eclipse Modeling Framework (EMF) and the majority of the modelling and model management languages and tools. Whilst XMI is widely supported, the XMI parser provided by EMF is inefficient in some cases where models are readonly (such as input models for model query, model-to-model transformation, etc) as it always requires loading the entire model into memory. In this paper we present a novel algorithm, and a prototype implementation (SmartSAX), which is capable of partially loading models persisted in XMI. SmartSAX offers improved performance, in terms of loading time and memory footprint, over the default EMF XMI parser. We describe the algorithm in detail, and present benchmarking results that demonstrate the substantial improvements of the prototype implementation over the XMI parser provided by EMF.
XML元数据交换(XML Metadata Interchange, XML mi)是一种omg标准化的模型交换格式，Eclipse建模框架(Eclipse Modeling Framework, EMF)以及大多数建模和模型管理语言和工具都支持这种格式。虽然XMI得到了广泛的支持，但是EMF提供的XMI解析器在一些模型是只读的情况下(比如用于模型查询、模型到模型转换等的输入模型)效率很低，因为它总是需要将整个模型加载到内存中。在本文中，我们提出了一种新的算法和一个原型实现(SmartSAX)，它能够部分加载xml中保存的模型。与默认的EMF xml解析器相比，SmartSAX在加载时间和内存占用方面提供了改进的性能。我们详细描述了该算法，并给出了基准测试结果，这些结果证明了原型实现相对于EMF提供的xml解析器的实质性改进。
{"title":"Partial loading of XMI models","authors":"Ran Wei, D. Kolovos, A. García-Domínguez, Konstantinos Barmpis, R. Paige","doi":"10.1145/2976767.2976787","DOIUrl":"https://doi.org/10.1145/2976767.2976787","url":null,"abstract":"XML Metadata Interchange (XMI) is an OMG-standardised model exchange format, which is natively supported by the Eclipse Modeling Framework (EMF) and the majority of the modelling and model management languages and tools. Whilst XMI is widely supported, the XMI parser provided by EMF is inefficient in some cases where models are readonly (such as input models for model query, model-to-model transformation, etc) as it always requires loading the entire model into memory. In this paper we present a novel algorithm, and a prototype implementation (SmartSAX), which is capable of partially loading models persisted in XMI. SmartSAX offers improved performance, in terms of loading time and memory footprint, over the default EMF XMI parser. We describe the algorithm in detail, and present benchmarking results that demonstrate the substantial improvements of the prototype implementation over the XMI parser provided by EMF.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123902232","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}
B. Baudry, B. Combemale, J. Kienzle, A. Pretschner
MODELS is the premier conference series for model-based software and systems engineering. It covers all aspects of modeling, from languages and methods to tools and applications since 1998. MODELS 2016 challenges the modeling community to promote the magic of modeling by solidifying and extending the foundations and successful applications of modeling in areas such as business information and embedded systems, but also by exploring the use of modeling for new and emerging systems, paradigms, and challenges including cyber-physical systems, cloud computing, services, social media, security, and open source.
{"title":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","authors":"B. Baudry, B. Combemale, J. Kienzle, A. Pretschner","doi":"10.1145/2976767","DOIUrl":"https://doi.org/10.1145/2976767","url":null,"abstract":"MODELS is the premier conference series for model-based software and systems engineering. It covers all aspects of modeling, from languages and methods to tools and applications since 1998. MODELS 2016 challenges the modeling community to promote the magic of modeling by solidifying and extending the foundations and successful applications of modeling in areas such as business information and embedded systems, but also by exploring the use of modeling for new and emerging systems, paradigms, and challenges including cyber-physical systems, cloud computing, services, social media, security, and open source.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127468620","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}
F. R. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin, Christophe Guychard
Mostly the development of domain specific modeling languages (DSML) follows the traditional model driven engineering practices. First the syntax and semantics of the language are defined (at meta-level) and then it is used for the development of user models. In certain situations, it is hard even to conceptualize the demands of the user, let alone the definition of the language. Agile methods for software development suggest that the development activities should be performed alongside a client stakeholder for incremental development of the system. This approach helps in the elicitation of requirements in parallel to the actual development of the system. We followed this approach for developing a domain specific modeling language and its tooling for a local government project, Brest Métropole. The project aimed at filling the communication gap between the elected representatives (politicians) and the bureaucracy (government officers). We used a modeling methodology that does not restrict a modeler's interaction to a single abstraction level. Thus a modeler can develop both models and metamodels at the same time, where the definition of one helps in defining the other. In this article, we explain our experiences from this project and share the lessons learnt.
{"title":"Using free modeling as an agile method for developing domain specific modeling languages","authors":"F. R. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin, Christophe Guychard","doi":"10.1145/2976767.2976807","DOIUrl":"https://doi.org/10.1145/2976767.2976807","url":null,"abstract":"Mostly the development of domain specific modeling languages (DSML) follows the traditional model driven engineering practices. First the syntax and semantics of the language are defined (at meta-level) and then it is used for the development of user models. In certain situations, it is hard even to conceptualize the demands of the user, let alone the definition of the language. Agile methods for software development suggest that the development activities should be performed alongside a client stakeholder for incremental development of the system. This approach helps in the elicitation of requirements in parallel to the actual development of the system. We followed this approach for developing a domain specific modeling language and its tooling for a local government project, Brest Métropole. The project aimed at filling the communication gap between the elected representatives (politicians) and the bureaucracy (government officers). We used a modeling methodology that does not restrict a modeler's interaction to a single abstraction level. Thus a modeler can develop both models and metamodels at the same time, where the definition of one helps in defining the other. In this article, we explain our experiences from this project and share the lessons learnt.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133996573","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}
The systems of industrial automation management (IAM) are in the domain of information systems. IAM systems have software components that support manufacturing processes. The operational parts of IAM coordinate highly plug-compatible hardware devices. These functions lead to process and topology variability, which result in development and reuse challenges for software engineers in practice. This paper presents an approach aiming at improving the development and derivation of one IAM software family within Siemens. The approach integrates feature modeling with domain-specific modeling languages (DSMLs) for variability representation. Moreover, by combining code generation techniques, the configuration of variability models can be used to automate the software derivation. We report on a case study of applying the approach in practice. The outcome shows the enhancement of variability representation by introducing DSMLs and the improvement on automating software derivation. Finally, we present the lessons learned during the execution of this case study.
{"title":"Multi-variability modeling and realization for software derivation in industrial automation management","authors":"Miao Fang, G. Leyh, Jörg Dörr, Christoph Elsner","doi":"10.1145/2976767.2976804","DOIUrl":"https://doi.org/10.1145/2976767.2976804","url":null,"abstract":"The systems of industrial automation management (IAM) are in the domain of information systems. IAM systems have software components that support manufacturing processes. The operational parts of IAM coordinate highly plug-compatible hardware devices. These functions lead to process and topology variability, which result in development and reuse challenges for software engineers in practice. This paper presents an approach aiming at improving the development and derivation of one IAM software family within Siemens. The approach integrates feature modeling with domain-specific modeling languages (DSMLs) for variability representation. Moreover, by combining code generation techniques, the configuration of variability models can be used to automate the software derivation. We report on a case study of applying the approach in practice. The outcome shows the enhancement of variability representation by introducing DSMLs and the improvement on automating software derivation. Finally, we present the lessons learned during the execution of this case study.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134588351","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}
A. Kalenkova, Wil M.P. van der Aalst, I. Lomazova, V. Rubin
Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs [1]. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with additional event log data. BPMN (Business Process Model and Notation) 2.0 [2] is a widely used process modeling notation, supported by various process modeling and analysis tools, and is a de-facto process modeling standard. Using BPMN within process mining opens perspectives for applicability of the existing process mining techniques: for instance discovered process models can be analyzed or enacted using existing BPMN-based software, and vice versa, manually created models can be imported to a process mining tool, verified against event logs, and enhanced with additional data. In this work we bridge the gap between conventional process modeling formalisms used in the context of process mining (e.g., Petri nets, causal nets, process trees) and BPMN. For that purpose we developed a suite of conversion algorithms and provide formal guarantees relating the behavior of Petri nets (including non-free-choice nets) to the corresponding BPMN models (and vice versa). The derived relations are used to enhance the BPMN models with information learned from the event logs. The developed conversion techniques are described in detail in [3] and have been implemented [4] as a part of ProM (Process Mining Framework) [5] -- an open source tool for process mining and verified on real event log data. Moreover, cases for which conversion algorithms give more compact process models in comparison with the initial models are identified. Although the developed algorithms deal with basic control flow constructs only, they can be applied in the discovery of advanced BPMN modeling elements [2], including subprocesses [6-7], cancellations [8], conditional branching and data objects, swimlanes, message flows, and others.
{"title":"Process mining using BPMN","authors":"A. Kalenkova, Wil M.P. van der Aalst, I. Lomazova, V. Rubin","doi":"10.1145/2976767.2987688","DOIUrl":"https://doi.org/10.1145/2976767.2987688","url":null,"abstract":"Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs [1]. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with additional event log data. BPMN (Business Process Model and Notation) 2.0 [2] is a widely used process modeling notation, supported by various process modeling and analysis tools, and is a de-facto process modeling standard. Using BPMN within process mining opens perspectives for applicability of the existing process mining techniques: for instance discovered process models can be analyzed or enacted using existing BPMN-based software, and vice versa, manually created models can be imported to a process mining tool, verified against event logs, and enhanced with additional data. In this work we bridge the gap between conventional process modeling formalisms used in the context of process mining (e.g., Petri nets, causal nets, process trees) and BPMN. For that purpose we developed a suite of conversion algorithms and provide formal guarantees relating the behavior of Petri nets (including non-free-choice nets) to the corresponding BPMN models (and vice versa). The derived relations are used to enhance the BPMN models with information learned from the event logs. The developed conversion techniques are described in detail in [3] and have been implemented [4] as a part of ProM (Process Mining Framework) [5] -- an open source tool for process mining and verified on real event log data. Moreover, cases for which conversion algorithms give more compact process models in comparison with the initial models are identified. Although the developed algorithms deal with basic control flow constructs only, they can be applied in the discovery of advanced BPMN modeling elements [2], including subprocesses [6-7], cancellations [8], conditional branching and data objects, swimlanes, message flows, and others.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116338181","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}
N. Das, Suchita Ganesan, Leo Jweda, M. Bagherzadeh, N. Hili, J. Dingel
This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.
{"title":"Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation","authors":"N. Das, Suchita Ganesan, Leo Jweda, M. Bagherzadeh, N. Hili, J. Dingel","doi":"10.1145/2976767.2976781","DOIUrl":"https://doi.org/10.1145/2976767.2976781","url":null,"abstract":"This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116282253","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}
Calypso Barnes, Jean-Marie Cottin, F. Verdier, A. Pegatoquet
This paper aims at presenting an approach to validate, verify and debug a wireless communication protocol through the use of simulated models. We discuss the main issues in validating a communication protocol, as well as the merits and limitations of the existing solutions to verify network protocol stack binary codes by using simulation. We then describe the development of a simulation framework where the node's hardware platform is modeled with QEMU and SystemC, and the development of an observer module which analyzes the frames exchanged to detect anomalies. This approach is validated with a protocol named OCARI based on the IEEE 802.15.4 (LR-WPAN) standard, which is currently in its pre-industrialization phase. The experimental results demonstrate the functional correctness of our node model implementation, and show how a protocol property can be checked during simulation with the developed simulation framework.
{"title":"Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC","authors":"Calypso Barnes, Jean-Marie Cottin, F. Verdier, A. Pegatoquet","doi":"10.1145/2976767.2976810","DOIUrl":"https://doi.org/10.1145/2976767.2976810","url":null,"abstract":"This paper aims at presenting an approach to validate, verify and debug a wireless communication protocol through the use of simulated models. We discuss the main issues in validating a communication protocol, as well as the merits and limitations of the existing solutions to verify network protocol stack binary codes by using simulation. We then describe the development of a simulation framework where the node's hardware platform is modeled with QEMU and SystemC, and the development of an observer module which analyzes the frames exchanged to detect anomalies. This approach is validated with a protocol named OCARI based on the IEEE 802.15.4 (LR-WPAN) standard, which is currently in its pre-industrialization phase. The experimental results demonstrate the functional correctness of our node model implementation, and show how a protocol property can be checked during simulation with the developed simulation framework.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127830784","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}
Contractual specifications and UML state machines belong to the basic means for the specification and modelling of object-oriented system behaviour and are the subject of active research. However, the problem of state machines synthesis from contracts has not been researched. In this paper, this problem is investigated and a suitable procedure for protocol state machine generation is presented. This procedure is based on a method used in specification-based testing; it is formally defined, stepwise and based on a well-defined mathematical model. Its applicability is demonstrated on a bank account example often used in the literature. It is shown that resulting protocol state machines help to grasp the meaning of specifications and, as a side effect, to identify flaws in the specification such as unreachable states.
{"title":"On the synthesis of protocol state machines from contracts","authors":"P. Kosiuczenko","doi":"10.1145/2976767.2976783","DOIUrl":"https://doi.org/10.1145/2976767.2976783","url":null,"abstract":"Contractual specifications and UML state machines belong to the basic means for the specification and modelling of object-oriented system behaviour and are the subject of active research. However, the problem of state machines synthesis from contracts has not been researched. In this paper, this problem is investigated and a suitable procedure for protocol state machine generation is presented. This procedure is based on a method used in specification-based testing; it is formally defined, stepwise and based on a well-defined mathematical model. Its applicability is demonstrated on a bank account example often used in the literature. It is shown that resulting protocol state machines help to grasp the meaning of specifications and, as a side effect, to identify flaws in the specification such as unreachable states.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122299093","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号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：