Tools for Model-Based Testing (MBT) use various algorithms and strategies to generate tests from a behavioral model of the IUT. Existing MBT tools are based on formal, typically state-based, specification languages. In state-of-theart MBT tools, which we briefly review, executable tests are generated. But these tests are not directly traceable to an actual implementation-under-test (IUT). Inste...

In recent years, scenario-based modeling has been proposed to help mitigate some of the underlying difficulties in modeling complex reactive systems, by allowing modelers to specify system behavior in a way that is intuitive and directly executable. This modeling approach simplifies the specification of systems that include events occurring in distinct system components. However, when these sys...

Scenarios have been already used for designing and evaluating ontology-based tools. For example, the so-called “motivating scenarios” are a core component of the TOVE ontological engineering method elaborated by Grüninger and Fox (1995; Uschold and Grüninger, 1996). We ourselves used a “scenario approach” for designing and evaluating CoMMA, a corporate memory computer platform based on ontologi...

One of the most crucial and complicated phases of realtime system development lies in the transition from system behavior (generally specified using scenario models) to the behavior of interacting components (typically captured by means of communicating hierarchical finite state machines). It is commonly accepted that a systematic approach is required for this transition. In this paper, we over...

We present preliminary results of a new approach to the formal modeling of biological phenomena. The approach stems from the conceptual compatibility of the methods and logic of data collection and analysis in the field of developmental genetics with the languages, methods and tools of scenario-based reactive system design. In particular, we use the recently developed methodology consisting of ...

Order acceptance decisions in manufacture-to-order environments are often made based on incomplete or uncertain information. To promise reliable due dates and to manage resource capacity adequately, resource capacity loading is an indispensable supporting tool. We propose a scenario based approach for resource loading under uncertainty that minimises the expected costs. The approach uses an MIL...

In engineering design, capturing customers’ requirements exactly and transforming them into design specifications are vital to designing a quality product. However, the expressions of customer requirements are normally imprecise and ambiguous due to their linguistic origins. There is still a lack of a systematic approach for elaborating these requirements and transforming them from informal to ...

Understanding a large software product is known as a very challenging task. One way that facilitate program understanding is program slicing. Slicing is an important decomposition technique for program understanding[3]. However, traditional slicing methods tend to produce too large slices for human inspection as modern programs are often huge and static program analyses are hard to be precise e...

In this paper, a multi-period and multi-resource operating room (OR) scheduling and rescheduling problem with elective and semi-elective (semi-urgent) patients is addressed. A scheduling-rescheduling framework based on the so-called rolling horizon approach is proposed to solve the problem. The core of the proposed framework is a novel proposed mixed-integer linear programming (MILP) model with...

the endurance of any type of architecture is contingent upon the study of the characteristics that led to its formation. two general approaches have been adopted to study and analyze the iranian architecture. a number of scholars have taken a historical approach, while others have merely considered a genre- based approach. making use of many historical studies, these scholars have attempted to ...