Exportar Publicação

Ramos, P. & Fiadeiro, J. L. (1998). A computational tool that supports formal diagnosis of process design. Information and Software Technology. 40 (10), 555-565

P. D. Ramos and J. L. Fiadeiro,  "A computational tool that supports formal diagnosis of process design", in Information and Software Technology, vol. 40, no. 10, pp. 555-565, 1998

@article{ramos1998_1766137346092,
	author = "Ramos, P. and Fiadeiro, J. L.",
	title = "A computational tool that supports formal diagnosis of process design",
	journal = "Information and Software Technology",
	year = "1998",
	volume = "40",
	number = "10",
	doi = "10.1016/S0950-5849(98)00082-2",
	pages = "555-565",
	url = "https://www.sciencedirect.com/science/article/abs/pii/S0950584998000822?via%3Dihub"
}

TY  - JOUR
TI  - A computational tool that supports formal diagnosis of process design
T2  - Information and Software Technology
VL  - 40
IS  - 10
AU  - Ramos, P.
AU  - Fiadeiro, J. L.
PY  - 1998
SP  - 555-565
SN  - 0950-5849
DO  - 10.1016/S0950-5849(98)00082-2
UR  - https://www.sciencedirect.com/science/article/abs/pii/S0950584998000822?via%3Dihub
AB  - Computational tools that support process design have been used widely in organisation. These tools usually provide methods and notations (formal or diagrammatic) that are used to describe and simulate the behaviour of processes, and validate them with the users. The validation procedure supports mainly syntax validation and consistency analysis against organisation constraints (structure, tasks, documents, etc.). No further analysis is made with regard to the compliance of a process design with respect to organisational requirements. In this paper we present a software tool which detects designs that do not accomplish prerequisites supplied by the organisation. The software tool is supported by formal techniques from artificial intelligence and computer science.
ER  -