173
Voted
EEF
2000
15 years 7 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
139
Voted
EEF
2000
15 years 7 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
136
Voted
EDOC
2000
IEEE
15 years 7 months ago
2000
IEEE
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
135
Voted
EDO
2000
Springer
15 years 7 months ago
2000
Springer
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
122
Voted
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...