Weitere Kapitel dieses Buchs durch Wischen aufrufen
This paper presents a method for requirement verification in Service-Oriented Architecture (SOA) models based on Interorganizational WorkFlow nets. In SOA Design, a requirement model (public model) only specify tasks which are of interest of all parties involved in the corresponding interorganizational architectural model (a set of interacting private models). Architectural models involve much more tasks: they contain the detailed tasks of all the private processes (individual workflow processes) that interact through asynchronous communication mechanisms in order to produce the services specified in the requirement model. In the proposed approach, services correspond to scenarios of Interorganizational WorkFlow nets. For each scenario of the public and private models, a proof tree of Linear Logic is produced and transform into a precedence graph that specifies task sequence requirements. Precedence graphs of the public and private models are then compared in order to verify if all the existing scenario of the requirement model also exist in the architectural model. The comparison of the models (public to private) is based on the notion of branching bisimilarity that prove behavioral equivalence between distinct finite automatas.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Riempp, G. (1998). Wide area workflow management: Creating partnerships for the 21st century. New York: Springer. CrossRef
van der Aalst, W. M. P. (2000). Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management, 37, 67–75.
van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8, 21–66.
van der Aalst, W. M. P. (1998). Modeling and analyzing interorganizational workflows. In International Conference on Application of Concurrency to System Design (pp. 262–272). IEEE Computer Society Press.
Erl, T. (2009). SOA principles of service design. Upper Saddle River: Prentice Hall.
Klai, K., Ochi, H., & Tata, S. (2013). Formal abstraction and compatibility checking of web services. In 20th International Conference on Web Services (ICWS) (pp. 163–170). IEEE.
Passos, L. M. S., & Julia, S. (2015). Deadlock-freeness scenarios detection in web service composition. In 12th International Conference on Information Technology – New Generations (pp. 780–783).
Goknil, A., Kurtev, I., & Berg, K. V. D. (2014). Generation and validation of traces between requirements and architecture based on formal trace semantics. Journal of Systems and Software, 88(3), 112–137.
Maté, A., & Trujillo, J. (2012). A trace metamodel proposal based on the model driven architecture framework for the traceability of user requirements in data warehouses. Information Systems, 37(8), 753–766. CrossRef
Zernadji, T., Tibermacine, C., Cherif, F., & Zouioueche, A. (2015). Integrating quality requirements in engineering web service orchestrations. Journal of Systems and Software, 122, 463–483. CrossRef
Girault, F., Pradin-Chezalviel, B., & Valette, R. (1997). A logic for Petri nets. Journal européen des systèmes automatisés.
Riviere, N., Pradin-Chezalviel, B., & Valette, R. (2001). Reachability and temporal conflicts in t-time Petri nets. In 9th International Workshop on Petri Nets and Performance Models.
Basten, T. (1998). In terms of nets system design with petri nets and process algebra. Ph.D. dissertation, Eindhoven University of Technology, Eindhoven, Netherlands. MATH
van der Aalst, W. (1996). Structural characterizations of sound workflow nets. Eindhoven University of Technology, Computing Science Reports/23.
Passos, L. M. S., & Julia, S. (2014). Linear logic as a tool for deadlock-freeness scenarios detection in interorganizational workflow processes. In IEEE 26th International Conference on Tools with Artificial Intelligence (pp. 316–320).
Park, D. (1981). Concurrency and automata on infinite sequences. In 5th GI-Conference on Theoretical Computer Science (pp. 167–183). Berlin: Springer. CrossRef
van Glabbeek, R. J., & Weijland, W. P. (1996). Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3), 555–600.
van der Aalst, W. M. P. (2003). Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management, 4(4), 345–389.
Passos, L. M. S., & Julia, S. (2016). Linear logic as a tool for qualitative and quantitative analysis of workflow processes. International Journal on Artificial Intelligence Tools, 1–25. 1 650 008.
- Requirement Verification in SOA Models Based on Interorganizational WorkFlow Nets and Linear Logic
Kênia Santos de Oliveira
Vinícius Ferreira de Oliveira
Neuer Inhalt/© ITandMEDIA