Mapping semantically enriched Formal Tropos to business process models

ABSTRACT

In the context of Semantic Business Process Management (as defined by the SUPER project), there is a current lack of requirements engineering methodologies to acquire correctly semantically annotated business process models. This paper meets this need by extending the existing Formal Tropos specification, originating from early phase requirements engineering, to embed semantic annotations. Furthermore, detailed mappings are proposed to translate semantically enriched Formal Tropos scripts into Business Process Modelling Ontology (BPMO), which is a superset of Business Process Modelling Notation (BPMN) and Event-Deriven Process Chain (EPC).

REFERENCES

• 1: Ayala, C. P., Cares, C., Carvallo, J. P., Grau, G., Haya, M., Salazar, G., Franch, X., Mayol, E. and Quer, C., A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages. in International Workshop on Agent-Oriented Software Development Methodology - SEKE Conference, Taipei, Taiwan, (2005).
• 2: Decreus, K., Gailly, F. and Poels, G. A Toolkit For Business Process Owners to Capture Early System Requirements. Proceedings of 3rd International Workshop on SBPM 2008 at 5th European Semantic Web Conference (ESWC 2008), CEUR.
• 3: Agata Filipowska , Monika Kaczmarek , Monika Starzecka , Piotr Stolarski , Adam Walczak, Semantic Enterprise Description for the Needs of Business Process Automation, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, p.987-992, July 28-August 01, 2008 [doi>10.1109/COMPSAC.2008.161]
• 4: Ariel Fuxman , Lin Liu , John Mylopoulos , Marco Pistore , Marco Roveri , Paolo Traverso, Specifying and analyzing early requirements in Tropos, Requirements Engineering, v.9 n.2, p.132-150, May 2004 [doi>10.1007/s00766-004-0191-7]
• 5: Martin Hepp , Frank Leymann , John Domingue , Alexander Wahler , Dieter Fensel, Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management, Proceedings of the IEEE International Conference on e-Business Engineering, p.535-540, October 12-18, 2005 [doi>10.1109/ICEBE.2005.110]
• 6: Raman Kazhamiakin , Marco Pistore , Marco Roveri, A Framework for Integrating Business Processes and Business Requirements, Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International, p.9-20, September 20-24, 2004 [doi>10.1109/EDOC.2004.1]
• 7: Lapouchnian, A., Yu, Y. and Mylopoulos, J. Requirements-Driven Design and Configuration Management of Business Processes. in Business Process Management, 2007, 246--261.
• 8: Ivan Markovic , Marek Kowalkiewicz, Linking Business Goals to Process Models in Semantic Business Process Modeling, Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, p.332-338, September 15-19, 2008 [doi>10.1109/EDOC.2008.43]
• 9: John Mylopoulos , Lawrence Chung , Eric Yu, From object-oriented to goal-oriented requirements analysis, Communications of the ACM, v.42 n.1, p.31-37, Jan. 1999 [doi>10.1145/291469.293165]
• 10: Dumitru Roman , Uwe Keller , Holger Lausen , Jos de Bruijn , Rubén Lara , Michael Stollberg , Axel Polleres , Cristina Feier , Cristoph Bussler , Dieter Fensel, Web Service Modeling Ontology, Applied Ontology, v.1 n.1, p.77-106, January 2005
• 11: Howard Smith , Peter Fingar, Business Process Management: The Third Wave, Meghan-Kiffer Press, 2006
• 12: SUPER Business Process Modelling Ontology v1.5. http://www.ip-super.org/ontologies/SUPER/SUPER_BPMO1_5.wsml.
• 13: SUPER. D1.2: BP Oriented Organizational Ontology www.super-ip.org, 2007.
• 14: SUPER. D3.2: Dynamic Composition Reasoning Framework and Prototype www.super-ip.org, 2007.
• 15: Axel van Lamsweerde, Requirements engineering in the year 00: a research perspective, Proceedings of the 22nd international conference on Software engineering, p.5-19, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337184]
• 16: Yair Wand , Ron Weber, Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda, Information Systems Research, v.13 n.4, p.363-376, December 2002 [doi>10.1287/isre.13.4.363.69]
• 17: Eric Siu-Kwong Yu , John Mylopoulos, Modelling strategic relationships for process reengineering, University of Toronto, Toronto, Ont., Canada, 1995

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Systems analysis and design

General Terms:
Algorithms, Design, Languages

Keywords:
Formal Tropos, business process modelling ontology, early phase requirements, semantic business process management, specification