Results 1 -
3 of
3
Discovering Models of Software Processes from Event-Based Data
- ACM Transactions on Software Engineering and Methodology
, 1998
"... this article we describe a Markov method that we developed specifically for process discovery, as well as describe two additional methods that we adopted from other domains and augmented for our purposes. The three methods range from the purely algorithmic to the purely statistical. We compare the m ..."
Abstract
-
Cited by 187 (7 self)
- Add to MetaCart
this article we describe a Markov method that we developed specifically for process discovery, as well as describe two additional methods that we adopted from other domains and augmented for our purposes. The three methods range from the purely algorithmic to the purely statistical. We compare the methods and discuss their application in an industrial case study.
Process Discovery and Validation through Event-Data Analysis
, 1996
"... Software process is how an organization goes about developing or maintaining a software system. It is the methodology employed when people use machines, tools, and artifacts to create a product. Recent work has applied formal modeling to software process, with the hope of reaping the benefits of una ..."
Abstract
-
Cited by 17 (6 self)
- Add to MetaCart
Software process is how an organization goes about developing or maintaining a software system. It is the methodology employed when people use machines, tools, and artifacts to create a product. Recent work has applied formal modeling to software process, with the hope of reaping the benefits of unambiguous and analyzable formalisms. Yet industry has been slow to adopt formal model technologies. Two reasons are that it is costly to develop a formal model and, once developed, there are no methods to ensure that the model indeed reflects reality. This thesis develops techniques for process event data analysis that help solve these two problems, which are termed process discovery and process validation. For process discovery, event data captured from an on-going process is used to generate a formal model of process behavior. To do this, results from the field of grammar inference are applied, and a new method is also developed. The methods are shown to be efficient and practical to use in...
Coordinating Rule-Based Software Processes with ESP
- ACM Transactions on Software Engineering and Methodology
, 1993
"... s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. UBLCS Technical Report Series 92-1 Mapping Parallel Computations onto Distributed Systems in Paralex, by O. Babao glu, ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. UBLCS Technical Report Series 92-1 Mapping Parallel Computations onto Distributed Systems in Paralex, by O. Babao glu, L. Alvisi, A. Amoroso and R. Davoli, January 1992. 92-2 Parallel Scientific Computing in Distributed Systems: The Paralex Approach, by L. Alvisi, A. Amoroso, O. Babao glu, A. Baronio, R. Davoli and L. A. Giachini, February 1992. 92-3 Run-time Support for Dynamic Load Balancing and Debugging in Paralex, by O. Babao glu, L. Alvisi, S. Amoroso, R. Davoli, L. A. Giachini, September 1992. 92-4 Paralex: An Environment for Parallel Programming in Distributed Systems, by O. Babao glu, L. Alvisi, S. Amoroso, R. Davoli, L. A. Giachini, October 1992. 93-1 Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanism, by O. Babao glu and K. Marzullo, January 1993. 93-2 Understand...
