Representing and validating digital business processes

Lecture Notes in Business Information Processing

Volumn 8, Issue 4, 2008, Pages 19-32

  Damiani, Ernesto ^a   Ceravolo, Paolo ^a   Fugazza, Cristiano ^a   Reed, Karl ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b LA TROBE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SYSTEMS ENGINEERING;

BUSINESS PROCESS DESIGN; BUSINESS PROCESS MODEL; EXTERNAL CONSTRAINTS; INTER-ORGANIZATIONAL; LEVELS OF ABSTRACTION; MODEL DRIVEN ARCHITECTURES; ORGANIZATIONAL STRUCTURES; REPRESENTATION TECHNIQUES;

PROCESS DESIGN;

EID: 84856241505     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-68262-2_2     Document Type: Conference Paper

References (17)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Ceravolo, P., Damiani, E., Viviani, M.: Bottom-up extraction and trust-based refinement of ontology metadata. IEEE Transactions on Knowledge and Data Engineering 19(2), 149-163 (2007)
3. Ceravolo, P., Fugazza, C., Leida, M.: Modeling semantics of business rules. In: Proceedings of the Inaugural IEEE International Conference On Digital Ecosystems and Technologies (IEEE-DEST) (February 2007)
4. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems 10(3), 227-252 (1998)
5. Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177-225 (2002)
6. Eriksson, H.-E., Penker,M.: Business Modeling With UML: Business Patterns atWork. John Wiley & Sons, Inc., New York (1998)
7. Gardner, T.: Uml modelling of automated business processes with a mapping to bpel4ws. In: Proceedings of the First European Workshop on Object Oriented Systems (2003)
8. Fingar, P., Smith, H.: Business process management. The third wave
9. Hofreiter, B., Huemer, C.: Transforming UMM business collaboration models to BPEL. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM-WS 2004. LNCS, vol. 3292, pp. 507-519. Springer, Heidelberg (2004)
10. Diaz, J.S., De la Vara Gonzalez, J.L.: Business process-driven requirements engineering: a goal-based approach. In: Proceedings of the 8th Workshop on Business Process Modeling, Development, and Support (2007)
11. Levy, A.Y., Rousset, M.-C.: CARIN: A representation language combining horn rules and description logics. In: European Conference on Artificial Intelligence, pp. 323-327 (1996)
12. Linehan, M.: Semantics in model-driven business design. In: Proceedings of 2nd International Semantic Web Policy Workshop (2006)
13. Marshall, C.: Enterprise modeling with UML: designing successful software through business analysis. Addison-Wesley Longman Ltd., Essex (2000)
14. Parsia, B., Sivrin, E., Grove, M., Alford, R.: Pellet OWL Reasoner (2003)
15. Rinderle, S., Wombacher, A., Reichert, M.: On the controlled evolution of process choreographies. In: ICDE 2006: Proceedings of the 22nd International Conference on Data Engineering (ICDE 2006), Washington, DC, USA, p. 124. IEEE Computer Society, Los Alamitos (2006)
16. Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In: KR 2006, pp. 68-78 (2006)
17. W3C. OWL Web Ontology Language Overview, http://www.w3.org/TR/owl- features/