An alternative semantics for UML-B state charts
2 nd UML 2 Semantics Symposium: Formal Semantics for UML
... interacting state machines that de- scribe the behaviour of objects and their relationships with each ...the semantics of any UML model. Intuitively, each state in the system model is composed ...
6
Representing Verbal Semantics with Diagrams An Adaptation of the UML for Lexical Semantics
... the state machines of prominent ...its state machine. y experiences a transition from an unknown source state to the known passive simple state of being ...the state of being awake and ...
7
On the semantics of UML/Marte Clock Constraints
... alternatesWith B Figure 2 shows the equivalent UML StateMachine for both forms of the relation ...The state machine only shows authorized ...from state super with a label B. This does ...
9
A structured operational semantics for UML-statecharts
... A transition: Relationship between two states where an object in the first state will perform certain actions and enter the second state when a specified event occures and specified [r] ...
36
Static Semantics of Message Sequence Charts
... m3 msc example2 Figure 2.1: Example Basic Message Sequence Charts The only dependencies between the timing of the instances come from the restriction that a mes- sage must be sent before it is consumed. In Figure ...
73
Towards a BPMN Semantics using UML models
... Again, being an evolving language, the need for further refinements (i.e. to capture business process collaborations) has conduced to the appearance of new ramifications from the initial BPMN standard. BPMN 1.1 provides ...
13
UML B: Formal modelling and design aided by UML
... of state made by operations (state charts) but textual specification is needed for details of constraints and ...hiding B infrastructure allowing their significance and context to be ...why ...
32
Semantics and Verification of UML Activity Diagrams for Workflow Modelling
... the semantics being used, RLS or ...the semantics being used, RLS or ILS. Model checking requires the state space to be ...infinite state space is trans- formed into a finite transition system ...
240
Semantics of a Foundational Subset for Executable UML Models (fuml)
... or state machines and their ...the UML 2Specification, as well as the Common Behavior, Actions and Activities capabilities in the Behavioral Modeling ...the UML 2 ...
430
UML B Survey Questionnaires and Responses
... and state any particular changes that they found difficult or tedious to ...not state any specific changes that they thought would be ...the semantics where the variable name was ...
18
Finite state intensional semantics
... a B in three. b. There is a B in ...a semantics for question-embedding know in terms of the epistemic accessibility relation R, and a relation between worlds contributed by a ...epistemic ...
12
Translating UML State Machine Diagram into Promela
... the UML state machine diagrams in design phase beforehand, helps and guides the designer a ...for UML diagrams, the UML state machine diagram in ...an alternative to do ...
5
State Based Static and Dynamic Formal Analysis of UML State Diagrams
... the semantics involved in transforming the real world problems to computer software ...Unfortunately, UML structures lack defining se- mantics of a ...
9
Blood glucose may be an alternative to cholesterol in CVD risk prediction charts
... Blood sampling, glucose and cholesterol measurements were described in detail [2]. Briefly, 5ml of blood were sampled and immediately thereafter centrifugated for 10 minutes at 3000 rpm. The plasma was then sent at 4°C ...
7
Semantics of UML class diagrams
... For compositions, there is a condition on evolution of snapshots: if an object of the composite class is deleted, so must be all associated elements of component classes. Definition (tra[r] ...
19
Dynamic Logic Semantics for UML Consistency
... To answer the questions automatically, we need a procedure to search the (infinte) space of systems... A model is a statement about systems Given a system, each model is true or false[r] ...
66
Semantics and Verification of Data Flow in UML 2.0 Activities
... the UML rather ...The UML has become the “lingua franca of software engineering”, and it has recently undergone a major revision (advancing from version ...formal semantics, as would be necessary to ...
15
Measuring the Comprehensibility of a UML B model and a B model
... as B increases a specification’s precision and ...both UML and B notations, namely UML-B, versus a B model ...a UML-B model compared to a traditional B ...
6
Extension to UML B Notation and Toolset
... for the link on the canvas, and b) update the order of the link in the meta model. This behaviour can be seen on Figure 5.12, even though link C was added to the diagram after all the other links, it appears in ...
89