VCt—a formal language for the specification of diagrammatic modelling techniques

Serrano, José Artur Ferreira da Silva e Vale; Welland, Ray

doi:10.1016/s0950-5849(98)00081-0

Cited by 3 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have designed the VC t specification language that is shortly presented below. It is not the purpose of this paper to present the language in detail, for a more complete description of VC t please refer to [30].…”

Section: Overview Of Vc Tmentioning

confidence: 99%

See 1 more Smart Citation

Formal Specifications of Software Design Methods

Serrano

1999

Electronic Workshops in Computing

View full text Add to dashboard Cite

A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented. A formal language based on semantic constraints is used to specify those methods. An example using the UML's Activity Diagrams is given which illustrates the proposed approach. The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.

show abstract

Section: Overview Of Vc Tmentioning

confidence: 99%

“…A novel formal language -VC t -was developed with the aim of providing formal tools to non-experts in formalisms, which is the case of many software developers. The language has already been well accepted by software engineers [4]. This paper looks at the question of how a software design method can be formally specified.…”

Section: Introductionmentioning

confidence: 99%

Formal Specifications of Software Design Methods

Serrano

1999

Electronic Workshops in Computing

View full text Add to dashboard Cite

show abstract

MGMS/GML - towards a new policy specification framework for multicast group integrity

Meißner

Musunoori²,

Wolf³

CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH374

View full text Add to dashboard Cite

Adaptation of the DFD technology in the modeling of business systems in the environment of RDS

Калянов

Куприянов

Lukinova

2019

Otkryt. obraz. (Mosk.)

View full text Add to dashboard Cite

The article is devoted to the description of structural methods of processes modeling, represented by visual languages of business processes modeling of socio-economic systems, designed not only for static functional/information modeling of processes, but also allowing to simulate their behavior.The description of grammar of structural languages of designing business processes of the enterprise which subsets it is offered to adapt for expansion of input language of the tool complex of RDS (Calculation of Dynamic Systems) that will allow to use opportunities of a complex for the solution of problems of the analysis not only dynamic, but also business models of organizational and economic systems are given. Provides the syntax and semantics of DFD, STD, ERD-notations. For the formal description of the syntax it is proposed to use the apparatus of mixed grammars, which are a combination of graph and ordinary grammars. The article describes the grammar that generates the simplest dialect of DFD-technology, informally describes the semantic aspects of the language, in particular the semantics of relations between the objects of the language.The basic constructions of the proposed language, its syntax and semantics are presented. Classification of potential errors is given. Non-terminal symbols of the language are presented in detail: diagram, DFD-diagram, STD-diagram, ERD-diagram, mini-specification, service structures are defined (including data dictionary).The types and sorts of evaluation criteria in the problems of business models quality analysis, syntax errors detection, as well as static semantics errors during their implementation in RDS are described. Static analysis of the business model is carried out in three directions which are syntax, semantics and pragmatics. Analysis methods can be divided into the following classes: syntactical, i.e. those that reveal violations of the syntax of the diagram representation language; semantic, revealing violations of the semantic representation of diagrams and their elements; methods of analyzing the quality of the business model, evaluated by the parameters of connectivity and cohesion.The implementation of the described methods and mechanisms is assumed as an additional module of simulation modeling of business processes as part of the RDS software complex, which is a tool for building research stands that provide the process of modeling, analysis and synthesis of control systems. The complex was implemented in the framework of projects implemented in the IPU RAS. The article defines the purpose, composition and structure of the business process simulation module.

show abstract

VCt—a formal language for the specification of diagrammatic modelling techniques

Cited by 3 publications

References 16 publications

Formal Specifications of Software Design Methods

Formal Specifications of Software Design Methods

MGMS/GML - towards a new policy specification framework for multicast group integrity

Adaptation of the DFD technology in the modeling of business systems in the environment of RDS

Contact Info

Product

Resources

About