An Ontology-Driven Process Modeling Framework

  • Gianluigi Greco
  • Antonella Guzzo
  • Luigi Pontieri
  • Domenico Saccà
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3180)


Designing, analyzing and managing complex processes are recently become crucial issues in most application contexts, such as e-commerce, business process (re-)engineering, Web/grid computing. In this paper, we propose a framework that supports the designer in the definition and in the analysis of complex processes by means of several facilities for reusing, customizing and generalizing existent process components. To this aim we tightly integrate process models with a domain ontology and an activity ontology, so providing a semantic vision of the application context and of the processes themselves. Moreover, the framework is equipped with a set of techniques providing for advanced functionalities, which can be very useful when building and analyzing process models, such as consistency checking, interactive ontology navigation, automatic (re)discovering of process models. A software architecture fully supporting our framework is also presented and discussed.


Process Modeling Mining Inheritance Workflows Ontologies 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469–483. Springer, Heidelberg (1998)Google Scholar
  2. 2.
    Ankolekar, A., Burstein, M., et al.: DAML-S: Semantic markup for web services. In: Proceedings of the International Semantic Web Workshop (2001)Google Scholar
  3. 3.
    Basten, T., van der Aalst, W.: Inheritance of behavior. JLAP 47(2), 47–145 (2001)zbMATHGoogle Scholar
  4. 4.
    Bertino, E., Guerrini, G., Merlo, I.: Trigger Inheritance and Overriding in an Active Object Database System. IEEE Trans. Knowl. Data Eng 12(4), 588–608 (2000)CrossRefGoogle Scholar
  5. 5.
    Cook, J.E., Wolf, A.L.: Automating process discovery through event-data analysis. In: Proc. 17th Int. Conf. on ICSE 1995, pp. 73–82 (1995)Google Scholar
  6. 6.
    Di Nitto, E., Lavazza, L., Schiavoni, M., Tracanella, E., Trombetta, M.: Deriving executable process descriptions from UML. In: Proc. 22th Int. Conf. on c, pp. 155–165 (2002)Google Scholar
  7. 7.
    Greco, G., Guzzo, A., Saccá, D.: Reasoning on Workflow Executions. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol. 2798, pp. 205–219. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    IBM. Business process execution language for web services- bpel4ws,
  9. 9.
    Kueng, P., Kawalek, P., Bichler, P.: How to compose an object-oriented business process model, available by
  10. 10.
    Malone, T.W., Crowston, K., Pentland, B., et al.: Tools for inventing organizations: Toward a handbook of organizational processes. Theoretical Computer Science 45(3), 425–443 (1999)Google Scholar
  11. 11.
    van der Aalst, W.M.P.: Inheritance of business processes: A journey visiting four notorious problems. In: Petri Net Technology for Communication-Based Systems, pp. 383–408 (2003)Google Scholar
  12. 12.
    van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. TCS 270(1-2), 125–203 (2002)zbMATHCrossRefGoogle Scholar
  13. 13.
    van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. DKE 47(2), 237–267 (2003)CrossRefGoogle Scholar
  14. 14.
    Wyner, G.M.: Defining specialization for process models, available at
  15. 15.
    W3C. OWL web ontology language referenceGoogle Scholar
  16. 16.
    Stumptner, M., Schrefl, M.: Behavior Consistent Inheritance in UML. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 527–542. Springer, Heidelberg (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Gianluigi Greco
    • 1
  • Antonella Guzzo
    • 1
  • Luigi Pontieri
    • 2
  • Domenico Saccà
    • 1
    • 2
  1. 1.DEISUniversity of CalabriaRendeItaly
  2. 2.ICAR, CNRRendeItaly

Personalised recommendations