International Workshop on Scenarios and state machines: models, algorithms, and tools最新文献

A schema language for coordinating construction and composition of partial behavior descriptions 一种模式语言，用于协调部分行为描述的构造和组合

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138966

W. Grieskamp, N. Kicillof

引用次数: 16

Automating software architecture exploration with M2Aspects 使用M2Aspects自动化软件架构探索

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138964

Ingolf Krüger, Gunny Lee, M. Meisinger

{"title":"Automating software architecture exploration with M2Aspects","authors":"Ingolf Krüger, Gunny Lee, M. Meisinger","doi":"10.1145/1138953.1138964","DOIUrl":"https://doi.org/10.1145/1138953.1138964","url":null,"abstract":"An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates the selection of the most effective architecture for a given situation. Although it is very beneficial to evaluate and compare architectures for functionality and quality attributes before implementing or changing the entire system, this step is often skipped due to the required time and effort. In this paper we present on the status of our tool chain to automate our approach of efficient prototype creation for scenario-based software specifications using aspect-oriented programming techniques (10). It transforms interaction-based software specifications (scenarios) into AspectJ programs. Central part of this tool chain is M2Aspects, which implements the methodological transition from scenarios to aspect implementations. It also handles architectural configurations; M2Aspects maps of the same set of scenarios to different candidate architectures. This significantly reduces the effort required to explore architectural alternatives. We explain our tool-chain using the Center TRACON Automation System as a running example.","PeriodicalId":151927,"journal":{"name":"International Workshop on Scenarios and state machines: models, algorithms, and tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126618444","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}

引用次数: 17

Test ready UML statechart models 测试准备好的UML状态图模型

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138968

P. Murthy, P. Anitha, M. Mahesh, R. Subramanyan

引用次数: 35

A collaboration-based approach to service specification and detection of implied scenarios 基于协作的服务规范和隐含场景检测方法

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138962

Humberto Nicolás Castejón Martínez, Rolv Bræk

引用次数: 18

Assert and negate revisited: modal semantics for UML sequence diagrams 重申断言和否定:UML序列图的模态语义

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138958

D. Harel, S. Maoz

引用次数: 50

Aspect-oriented software design with a variant of UML/STD 使用UML/STD变体的面向方面的软件设计

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138963

S. Nakajima, T. Tamai

引用次数: 4

A comparative survey of scenario-based to state-based model synthesis approaches 基于场景和基于状态的模型综合方法的比较研究

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138956

Hongzhi Liang, J. Dingel, Z. Diskin

引用次数: 96

Inferring operational requirements from scenarios and goal models using inductive learning 使用归纳学习从场景和目标模型推断操作需求

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138960

Dalal Alrajeh, A. Russo, Sebastián Uchitel

引用次数: 12

Nobody's perfect: interactive synthesis from parametrized real-time scenarios 没有人是完美的:从参数化的实时场景中进行交互式合成

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138967

H. Giese, Stefan Henkler, M. Hirsch, F. Klein

{"title":"Nobody's perfect: interactive synthesis from parametrized real-time scenarios","authors":"H. Giese, Stefan Henkler, M. Hirsch, F. Klein","doi":"10.1145/1138953.1138967","DOIUrl":"https://doi.org/10.1145/1138953.1138967","url":null,"abstract":"As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult. Verifying and correcting these components already represents a significant part of the development process both with respect to time and cost. Scenario-based synthesis has been put forward as an approach to accelerate the transition from requirements to a correct, verified model. In (8), we have presented a synthesis technique for deriving pattern behavior from a set of timed scenarios with parametrized time constraints. The derived patterns can then be verified using our technique for the compositional formal verification of Mechatronic UML models as introduced in (10). In this paper, we argue that the practical relevance of a synthesis technique predominantly depends rather on its ability to identify and point to specification errors than the complexity of the scenarios it could, in theory, process, provided with a correct specification. By means of a case study, we introduce the different types of specification errors that may arise during synthesis. Using our tools for modeling, synthesis, and verification, we then show how we can identify and resolve these errors in the successive phases of an interactive development process.","PeriodicalId":151927,"journal":{"name":"International Workshop on Scenarios and state machines: models, algorithms, and tools","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126163352","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

Scenario-driven modeling and validation of requirements models 场景驱动的建模和需求模型的验证

International Workshop on Scenarios and state machines: models, algorithms, and tools Pub Date : 2006-05-27 DOI: 10.1145/1138953.1138969

Christian Seybold, S. Meier, M. Glinz

{"title":"Scenario-driven modeling and validation of requirements models","authors":"Christian Seybold, S. Meier, M. Glinz","doi":"10.1145/1138953.1138969","DOIUrl":"https://doi.org/10.1145/1138953.1138969","url":null,"abstract":"Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process which is based on the interactive simulation of yet incomplete and semi-formal models. Missing parts are completed interactively by the user simulating the model. We start by modeling type scenarios (i.e. use cases) and simulate these interactively before having specified any system behavior. Such simulation runs yield exemplary system behavior in form of message sequence charts (MSCs). The modeler can then generalize this recorded partial behavior into statecharts. The resulting model is simulated again, (i) for validating that the modeled behavior matches the previously recorded behavior, and (ii) for recording new yet unspecified behavior in a next iteration step. Thus, recording MSCs by playing-through the scenarios and transforming MSCs to statecharts stimulate and drive each other.In this paper we focus on two elements of our approach: firstly, we describe the syntax and semantics of our scenario language. Secondly, we give an example how our modeling process works.","PeriodicalId":151927,"journal":{"name":"International Workshop on Scenarios and state machines: models, algorithms, and tools","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115741979","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}

引用次数: 23