The Experts below are selected from a list of 33720 Experts worldwide ranked by ideXlab platform
Oscar Pastor - One of the best experts on this subject based on the ideXlab platform.
-
model to text transformation in practice Generating Code from rich associations specifications
International Conference on Conceptual Modeling, 2006Co-Authors: Manoli Albert, Javier Munoz, Vicente Pelechano, Oscar PastorAbstract:This work presents a model to Code transformation where extended UML association specifications are transformed into C# Code. In order to define this transformation the work uses a conceptual framework for specifying association relationships that extends the UML proposal. We define a set of transformation rules for Generating the C# Code. The generated Code extends an implementation framework that defines a design structure to implement the association abstraction. The transformation takes as input models those which are specified using the conceptual framework. Transformations have been implemented in the Eclipse environment using the EMF and MOFScript tools.
Mauro Jacopo - One of the best experts on this subject based on the ideXlab platform.
-
Dynamic Choreographies: Theory And Implementation
Logical Methods in Computer Science Association, 2017Co-Authors: Dalla Preda Mila, Gabbrielli Maurizio, Giallorenzo Saverio, Lanese Ivan, Mauro JacopoAbstract:International audienceProgramming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (DIOC), that allows the programmer to specify, from a global viewpoint, which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, Generating Code for each participant in a process-level language called Dynamic Process-Oriented Choreographies (DPOC). We prove that DPOC distributed applications generated from DIOC specifications are deadlock free and race free and that these properties hold also after any runtime update. We instantiate the theoretical model above into a programming framework called Adaptable Interaction-Oriented Choreographies in Jolie (AIOCJ) that comprises an integrated development environment, a compiler from an extension of DIOCs to distributed Jolie programs, and a runtime environment to support their execution
-
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
2015Co-Authors: Preda, Mila Dalla, Gabbrielli Maurizio, Giallorenzo Saverio, Lanese Ivan, Mauro JacopoAbstract:Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, Generating Code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.Comment: Technical Repor
-
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
'Springer Science and Business Media LLC', 2015Co-Authors: Dalla Preda Mila, Gabbrielli Maurizio, Giallorenzo Saverio, Lanese Ivan, Mauro JacopoAbstract:Part 2: Coordinating EnsemblesInternational audienceProgramming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreog-raphy). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, Generating Code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates
Albert Zundorf - One of the best experts on this subject based on the ideXlab platform.
-
1 1 Integrative Specification of Distributed Production Control Systems for the Flexi- ble Automated Manufacturing
2014Co-Authors: Ulrich Nickel, Wilhelm Schäfer, Albert ZundorfAbstract:This paper describes how to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual, precisely de-fined specification language. We describe a modeling approach for flexible, autonomous production agents, so-called holons, which form the constituent parts of a decentralized production control system. We, particularly address the precise semantic definition of UML-like behavior diagrams and the corresponding Code generation. Generally, Generating Code from UML behavior diagrams is not well understood. Frequently, the semantics of a UML behavior diagram depends on the topic and the aspect that is modeled and on the designer that created it. In addition, UML behavior diagrams usually model only example scenarios and do not describe all possible cases and possible excep-tions. We overcome these problems by restricting the UML notation to a subset of the language. In addition, we define which kind of diagram should be used for which purpose and how the different kinds of diagrams are integrated to a consistent overall view. Finally, the paper sketches the Code generation algorithms for Java and PLCs (Programmable Logic Controllers) which is a widely used technology in industry to build holons. The Java Code is used for the simulation of a complete pro-duction line. 1.
-
integrating uml diagrams for production control systems
International Conference on Software Engineering, 2000Co-Authors: Hans J Kohler, Ulrich Nickel, Jorg Niere, Albert ZundorfAbstract:The paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous production agents, which are used for the decentralization of production control systems. In order to generate a (Java) implementation of a production control system from its specification, we define a precise semantics for the diagrams and we define how different (kinds of) diagrams are combined to a complete executable specification. Generally, Generating Code from UML behavior diagrams is not well understood. Frequently, the semantics of a UML behavior diagram depends on the topic and the aspect that is modeled and on the designer that created it. In addition, UML behavior diagrams usually model only example scenarios and do not describe all possible cases and possible exceptions. We overcome these problems by restricting the UML notation to a subset of the language that has a precise semantics. In addition, we define which kind of diagram should be used for which purpose and how the different kinds of diagrams are integrated to a consistent overall view.
Maria A Zapata - One of the best experts on this subject based on the ideXlab platform.
-
a systematic review of Code generation proposals from state machine specifications
Information & Software Technology, 2012Co-Authors: Eladio Dominguez, Beatriz Perez, Angel Luis Rubio, Maria A ZapataAbstract:Context: Model Driven Development (MDD) encourages the use of models for developing complex software systems. Following a MDD approach, modelling languages are used to diagrammatically model the structure and behaviour of object-oriented software, among which state-based languages (including UML state machines, finite state machines and Harel statecharts) constitute the most widely used to specify the dynamic behaviour of a system. However, Generating Code from state machine models as part of the final system constitutes one of the most challenging tasks due to its dynamic nature and because many state machine concepts are not supported by the object-oriented programming languages. Therefore, it is not surprising that such Code generation has received great attention over the years. Objective: The overall objective of this paper is to plot the landscape of published proposals in the field of object oriented Code generation from state machine specifications, restricting the search neither to a specific context nor to a particular programming language. Method: We perform a systematic, accurate literature review of published studies focusing on the object oriented implementation of state machine specifications. Results: The systematic review is based on a comprehensive set of 53 resources in all, which we have classified into two groups: pattern-based and not pattern-based. For each proposal, we have analysed both the state machine specification elements they support and the means the authors propose for their implementation. Additionally, the review investigates which proposals take into account desirable features to be considered in software development such as maintenance or reusability. Conclusions: One of the conclusions drawn from the review is that most of the analysed works are based on a software design pattern. Another key finding is that many papers neither support several of the main components of the expressive richness of state machine specifications nor provide an implementation strategy that considers relevant qualitative aspects in software development.
Lee Insup - One of the best experts on this subject based on the ideXlab platform.
-
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
ScholarlyCommons, 2014Co-Authors: Murugesan Anitha, Heimdahl Mats, Whalen Michael, Rayadurgam Sanjai, Komp John, Duan Lian, Kim Baekgyu, Sokolsky Oleg, Lee InsupAbstract:The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques. In this paper we present an end-to-end model-based approach to medical device software development along with the artifacts created in the process. While outlining the approach, we also describe our experiences, challenges, and lessons learned in the process of formulating and analyzing the requirements, modeling the system, formally verifying the models, Generating Code, and executing the generated Code in the hardware for generic patient controlled analgesic infusion pump (GPCA). We believe that the development artifacts and techniques presented in this paper could serve as a generic reference to be used by researchers, practitioners, and authorities while developing and evaluating cyber physical medical devices
-
From Requirements to Code: Model Based Development of A Medical Cyber Physical System?
2014Co-Authors: Murugesan Anitha, Heimdahl Mats, Whalen Michael, Rayadurgam Sanjai, Komp John, Duan Lian, Sokolsky Oleg, Kim Baek-gyu, Lee InsupAbstract:Associated research group: Critical Systems Research GroupThe advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an eort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques. In this paper we present an end-to-end model-based approach to medical device software development along with the artifacts created in the process. While outlining the approach, we also describe our experiences, challenges, and lessons learned in the process of formulating and analyzing the requirements, modeling the system, formally verifying the models, Generating Code, and executing the generated Code in the hardware for generic patient controlled analgesic infusion pump (GPCA). We believe that the development artifacts and techniques presented in this paper could serve as a generic reference to be used by researchers, practitioners, and authorities while developing and evaluating cyber physical medical devices
