The behavioural semantics of a Domain Specific Language (DSL) are the instructions on how to execute the language. In practice, such semantics are often documented by text, which leads to ambiguity and tool generation problems. Although some formal frameworks have been proposed to address these drawbacks, they only allow the correctness of a specification to be tested at a later stage, usually when the semantics are implemented. This paper presents a new framework for implementing the behavioural semantics of meta-model based DSLs and tools. The framework uses the foundational subset of executable UML (fUML) as its semantic base, and uses the fUML meta-model for modelling the abstract syntax and operational semantics of a DSL. The semantics specification can be verified at design time without the need to execute behaviour models. Thus, it can provide useful feedback to the DSL designer. The framework is demonstrated in a Petri-net example.

No abstract

No abstract

SUMMARY Process‐oriented capability outsourcing is a type of B2B collaboration in which one organisation outsources parts of its business process to other organisations known as service providers. Current models and solution approaches for service selection in process‐oriented capability outsourcing do not provide support for horizontal multi‐sourcing—the ability to dynamically outsource a business capability to multiple independent service providers. This paper presents a new problem model for service selection based on the notion of request tokens, and evaluates three solution approaches to the problem: integer programming, tree‐search heuristic and genetic algorithm. Copyright © 2011 John Wiley & Sons, Ltd.

No abstract