A method for functional alignment verification in hierarchical enterprise models

CEUR Workshop Proceedings

Volumn 237, Issue , 2006, Pages 244-253

  Rychkova, Irina ^a   Wegmann, Alain ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT STATE MACHINES; BUSINESS PROCESS MODELING; ENTERPRISE MODELING; HIERARCHICAL LEVEL; HIERARCHICAL MODELING; OPERATIONAL SEMANTICS; ORGANIZATIONAL LEVELS; SIMULATION AND TESTING;

INDUSTRY; INTEROPERABILITY; SYSTEMS ENGINEERING;

ALIGNMENT;

EID: 84875193641     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Towards a Tool Environment for Model-Based Testing with AsmL.
2. Börger, E., Stärk, R.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer-Verlag, Berlin Heidelberg New York (2003)
3. Dietz, J. L. G.: DEMO: towards a discipline of Organisation Engineering. 1999.
4. Dori, D., Object-Process Methodology, A Holistic Systems Paradigm. 2002: Springer Verlag.
5. Dori, D., Reinhartz-Beger, I., Sturm, A. OPCAT - A Bimodal CASE Tool for Object-Process Based System Development. in ICEIS 2003. 2003. Angers, France.
6. D'souza, F.D., Wills, C. A.: Object, Components and Frameworks with UML, The Catalysis Approach. 1999: Addison-Wesley.
7. Farahbod R., Glsser U., Vajihollahi M.: Abstract Operational Semantics of the Business Process Execution Language for Web Services, Simon Fraser University, Tech. Report #SFU-CMPT-TR 2004-03, 2004
8. http://research.microsoft.com/fse/asml/
9. Lê, L.S., Wegmann, A.: Definition of an Object-Oriented Modeling Language for Enterprise Architecture. to be published in HICSS 2005. Hawaii, USA.
10. Lê, L.S., Wegmann, A.: SeamCAD 1.x: User's Guide, School of Computer and Communication Sciences, EPFL, Lausanne Switzerland, Report No. IC/2004/98, November 2004.
11. Miller, J.G.: Living Systems. University of Colorado Press, 1995.
12. Mylopoulos, J., Kolp, M., Castro, J.: UML for Agent-Oriented Software Development: The Tropos Proposal, Proceedings of the 4th international conference on the Unified Modeling Language UML 2001, Toronto, Canada, October 1-5, 2001.
13. Philippi, S.: Formally based modeling and inheritance of behaviour in objectoriented systems. Journal of Systems and Software, Feb 2004.
14. Specification: Business Process Execution Language for Web Services Version 1.1, The IBM, 2004.
15. Specification: Business Process Modeling Notation (BPMN) Version 1.0, Business Process Management Initiative (BPMI),May 3, 2004
16. Sowa, J.,F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Pacific Grove, Brooks Cole Publishing Co., 1999
17. Störrle, H.: Semantics of UML 2.0 Activities, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC '04), Rome, Italy, September 26-29, 2004.
18. Reference model of open distributed processing part 1. Draft International Standard (DIS), Helsinki, Finland, (15-18 May 1995)
19. Rychkova, I., Wegmann, A., Balabko, P.: Operational ASM Semantics behind Graphical SEAM Notation. Workshop DAIS-FMOODS'03, Paris 2003.
20. Unified Modeling Language: Superstructure (final adopted spec, version 2.0)", Technical report, Object Management Group, November 2003.
21. Wegmann, A., Balabko, P., Lê, L.S., Regev, G., Rychkova, I.: A Method and Tool for Business-IT Alignment in Enterprise Architecture. CAiSE Forum'05, Porto, Portugal
22. Wegmann, A.: On the systemic enterprise architecture methodology (SEAM). Published at the International Conference on Enterprise Information Systems 2003 (ICEIS 2003), Angers, France.
23. Wegmann, A., Naumenko, A.: Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology. Proceedings of the 5th IEEE International Enterprise Distributed Object Computing Conference - EDOC 2001, Seattle, USA, September 2001, pp. 200-211.
24. Weinberg, G. M.: An Introduction to General Systems Thinking. New York: Wiley & Sons, 1975.