-
...in this paper, we propose a generic approach for inte - grating datatypes expressed using formal specification lan - guages within state diagrams our main motivations are (i...be able to specify in a formal way and at a high abstraction level the datatypes pertaining to the static aspects of such sys - tems the dynamic...
-
...in this paper, we propose a generic approach for inte- grating datatypes expressed using formal specification lan- guages within state diagrams. our main motivations are (i...be able to specify in a formal way and at a high abstraction level the datatypes pertaining to the static aspects of such sys- tems. the dynamic...
-
...in this paper, we propose a generic approach for inte- grating datatypes expressed using formal specification lan- guages within state diagrams. our main motivations are (i...be able to specify in a formal way and at a high abstraction level the datatypes pertaining to the static aspects of such sys- tems. the dynamic...
Published in 2003.
-
...in this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. our main motivations are (i...or b). our approach introduces a flexible use of datatypes. it also may take into account different se- mantics for the state diagrams....
-
...then to define means to integrate them into a global model. we present a formal and tool-equipped approach for the integration of dynamic models (behaviors expressed using state diagrams) and static models (formal data types) with the benefit...
-
...we describe an industrial application of formal methods. we have used model checking techniques to model and
formally verify a rather complex software, i.e. part of the “safety logic” of a railway interlocking system. the formal model
is structured to retain...
-
...at verified systems international to a variety of "real-world" projects. these include the veri- fication of high-availability database servers, of fault-tolerant computers now operable...discussion about the practical applicability of formal methods have led to the development of new specification formalisms. we sketch some key decisions...
-
...for object-oriented modeling, provides a suitable framework for scenario acquisition using use case diagrams and collaboration diagrams and for behavioral specification using statechart diagrams; yet it does not propose...step process for synthesizing behavioral specifications from scenarios. it generates from a given set of collaboration diagrams the statechart diagrams of all the objects involved. our...
-
...applications. interface description language (idl) specifications are extended with lotos specifications of the functional and dynamic behavior of the interface operations. these extended interface specifications are compiled into header files...the event-oriented lotos description, a state-oriented program in a csp-like programming language is derived. this program can be analyzed using very efficient, bdd-based model...
-
...in this paper1, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the application. scenarios are acquired...user interface (ui) information. these diagrams are automatically transformed into uml statechart specifications of the ui objects involved. from the set of obtained specifications, a ui prototype is generated that...