Information Technology Reference
In-Depth Information
14. Boffoli, N., Cimitile, M., Maggi, F.M.: Managing Business Process Flexibility and
Reuse through Business Process Lines. In: Cordeiro, J., Ranchordas, A., Shishkov,
B. (eds.) ICSOFT 2009. Communications in Computer and Information Science,
vol. 50, pp. 61-68. Springer, Heidelberg (2011)
15. Rosa, M.L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.:
Questionnaire-based Variability Modeling for System Configuration. SoSyM 8(2),
251-274 (2009)
16. van der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., Rosa,
M.L., Mendling, J.: Preserving Correctness during Business Process Model Con-
figuration. Formal Asp. Comput. 22(3-4), 459-482 (2010)
17. Weber, I., Hoffmann, J., Mendling, J.: Beyond Soundness: On the Verification of
Semantic Business Process Models. Distributed and Parallel Databases 27(3), 271-
343 (2010)
18. Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against
Well-Formedness OCL Constraints. In: GPCE 2006, pp. 211-220. ACM, New York
(2006)
19. Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines.
In: GPCE 2007, pp. 95-104. ACM, New York (2007)
20. Janota, M., Botterweck, G.: Formal Approach to Integrating Feature and Archi-
tecture Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961,
pp. 31-45. Springer, Heidelberg (2008)
21. van der Storm, T.: Generic Feature-Based Software Composition. In: Lumpe, M.,
Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 66-80. Springer, Heidelberg
(2007)
22. Mohabbati, B., Hatala, M., Gasevic, D., Asadi, M., Boskovic, M.: Development
and Configuration of Service-Oriented Systems Families. In: Proceedings of the
26th ACM Symposium on Applied Computing (2011)
23. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N.:
On the suitability of BPMN for business process modelling. In: Dustdar, S., Fi-
adeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 161-176. Springer,
Heidelberg (2006)
24. White, J., Schmidt, D., Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated
Diagnosis of Product-Line Configuration Errors in Feature Models. In: SPLC 2008,
pp. 225-234. IEEE Computer Society, Los Alamitos (2008)
