Sciweavers

2005 search results - page 97 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
134
Voted
ER
2008
Springer
134views Database» more  ER 2008»
15 years 5 months ago
On Measuring Process Model Similarity Based on High-Level Change Operations
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
Chen Li, Manfred Reichert, Andreas Wombacher
119
Voted
QUATIC
2007
IEEE
15 years 10 months ago
MPS Model-Based Software Acquisition Process Improvement in Brazil
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
Kival Chaves Weber, Eratostenes Edson Ramalho de A...
120
Voted
HCI
2009
15 years 1 months ago
Tooling the Dynamic Behavior Models of Graphical DSLs
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
Tihamer Levendovszky, Tamás Mész&aac...
106
Voted
EXPERT
2002
129views more  EXPERT 2002»
15 years 3 months ago
Modeling and Simulating Work Practice: A Method for Work Systems Design
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
Maarten Sierhuis, William J. Clancey
122
Voted
FMICS
2008
Springer
15 years 5 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur