Composition semantics for executable and evolvable behavioral modeling in MDA

McNeile, Ashley T.; Roubtsova, Ella

doi:10.1145/1555852.1555855

Cited by 13 publications

(22 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• if an event recognized by a machine that does not enable a transition in the current, an this event is included in the list of deferred events for this state, it is kept in a queue for later processing; • otherwise the event is discarded (McNeile and Roubtsova, 2009). This means that processing of an event by different machines is asynchronous and the result of processing is non-deterministic.…”

Section: Modelling Approaches In the Umlmentioning

confidence: 99%

A Test Generator for Model-Based Testing

Roubtsova¹,

Roubtsov

2014

Proceedings of the Fourth International Symposium on Business Modeling and Software Design

Self Cite

View full text Add to dashboard Cite

Abstract:The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generating from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example.

show abstract

Section: Modelling Approaches In the Umlmentioning

confidence: 99%

A Test Generator for Model-Based Testing

Roubtsova¹,

Roubtsov

2014

Proceedings of the Fourth International Symposium on Business Modeling and Software Design

Self Cite

View full text Add to dashboard Cite

show abstract

“…The second condition, (2), states that the acceptability of any action which is fully constrained by the contract is determined by the state of the contract alone. In the condition, as cannot refuse , whether is acceptable is determined completely by .…”

Section: Fig 1 Extracting Participant Designs From a Choreographymentioning

confidence: 99%

“…1 DbC is promoted as a way of constructing programs that ensures that they are correct by design, and the concepts of DbC have spread into other areas of software engineering, such as the definition of the semantics of modeling languages (see McNeile and Roubtsova [2]). …”

Section: Introductionmentioning

confidence: 99%

A framework for the semantics of behavioral contracts

McNeile¹

2010

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications

Self Cite

View full text Add to dashboard Cite

Abstract. Contracts have proved a powerful concept in software engineering, to the point where we have a well regarded software development approach centered on their use, and native support in programming languages. However, it is not clear that there is a uniform concept of contract that can be applied to both algorithmic and interactive software. We propose a framework for thinking about software contracts based on the idea that a contract aims to preserve a formal proposition about the software system being built, and the form of the contract must reflect both the proposition whose truth is to be preserved and the formal reasoning system used for verification. In particular, we believe that very different forms of contract are needed for algorithmic and interactive software and illustrate this with examples.

show abstract

“…This approach, which rises from the need to guarantee executability of behavioral models already at the PIM level, adds the ASM behavior semantic to the UML metamodel, resulting in a combined language called UML+. In [12], state machines are indicated as the most promising basis for capturing and representing system's behavior at the PIM level, and UML notations to represent state machines are discussed. The conclusion in [12] is that these UML notations lacks formal semantics for state machines representation, and a new protocol modeling semantics enriched with some process algebraic constructs is proposed, based on CSP parallel and CCS composition operators.…”

Section: Related Workmentioning

confidence: 99%

“…An open issue in the model-driven community concerns how application behavior should be represented [11]. There is agreement on the need to incorporate application behavior at the PIM level of the design process instead of adding this behavior later to the code level [19], and execute this behavior already at the PIM level for evaluation [12,24]. However, there is no agreement on how this should be done, mainly because of the lack of a commonly accepted modeling language to adequately represent behavior [11].…”

Section: Introductionmentioning

confidence: 99%

Process-Oriented Behavior Generation Using Interaction Patterns

Daniele

Pires

Sinderen

2010

2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops

View full text Add to dashboard Cite

Abstract-Model-driven approaches have shown that the systematic use of models and models transformations in the design can facilitate the development process of distributed software applications. Abstract models can be used to (automatically) generate other models that gradually add details to an application's structure and behavior, to simulate and execute this behavior in early stages of the development process, to validate it against requirements, or to generate executable code. Since these models document the design at different abstraction levels, they also facilitate the communication between people with different skills, knowledge and background, such as business and IT people. This paper shows how the Business Process Model Notation (BPMN) can be used in a model-driven approach to represent application's behavior at different abstraction levels and reduce the communication gap between different stakeholders in enterprises. The paper focuses on generating executable behaviors, which we represent as BPMN orchestrations, from interaction patterns, which are recurring sequences of actions among interacting components that we can represent as BPMN choreographies.

show abstract

Composition semantics for executable and evolvable behavioral modeling in MDA

Cited by 13 publications

References 7 publications

A Test Generator for Model-Based Testing

A Test Generator for Model-Based Testing

A framework for the semantics of behavioral contracts

Process-Oriented Behavior Generation Using Interaction Patterns

Contact Info

Product

Resources

About