Formal business process engineering based on graph grammars

Klauck, Christoph; MüLLER, Hubert

doi:10.1016/s0925-5273(95)00047-x

Cited by 9 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study of business process mainly takes advantage of some methods that described the interaction between different components of the system. Research on business process modeling has recently started to encode business-process diagrams into a formal model that can be given a suitable semantics, usually based on interacting state machines [7], Petri nets [8], or graph grammars [9]. Models that explicitly address the incorporation of security issues in the design process are typically extensions of a fragment of UML that can be given the desired semantics.…”

Section: Related Workmentioning

confidence: 99%

The trustworthiness analyzing of interacting business process based on the induction information

et al. 2011

View full text Add to dashboard Cite

Under the open environments, it is very difficult to guarantee the trustworthiness of interacting business process using traditional software engineering methods, at the same time, for dealing with the influence of external factors, some proposed business process mining methods are only effective 1-bounded business process, and some behavior dependent relationships are ignore. A behavior trustworthiness analysis method of business process based on induction information is presented in the paper. Firstly, aimed to the internal factors, we analyze the consistent behavior relativity to guarantee the predictable function. Then, for the external factors, in order to analyze the behavior change of business process, we propose a process mining methods based on induction information. Finally, experiment simulation is given out, and compares our method with genetic process mining methods. Theoretical analysis and experimental results indicate that our method is better than the genetic process mining method.

show abstract

Section: Related Workmentioning

confidence: 99%

The trustworthiness analyzing of interacting business process based on the induction information

et al. 2011

View full text Add to dashboard Cite

show abstract

“…in Klauk and Muller (1997)); observation analysis in Aldowaisan and Gaafar (1999); process mapping and visualisation (O'Neill and Sohal (1999); Gunasekaran and Nath (1997) • A set of tools is oriented to support decision making by recurring to familiar intuitive support; these are: Soft system methodology in Chan and Choi (1997); 3Cs model in Irani and Rausch (2000); Clean-slate analysis as in Dennis et al (2003); simulation and scenario analysis; hybrid dynamic modelling (Kim and Jang (2002) (1997); strategic justification of enterprise technology in Sarkis et al (1997); functional economical analysis in Kim and Jang (2002); strength-weakness-opportunities-threats (SWOT) analysis (see Dyson (2004)); requirement engineering in Jackson (1983); six hut of De Bono (1967).…”

Section: Business Process Re-engineeringmentioning

confidence: 99%