Formalizing ODP computational viewpoint specifications in maude

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2004, Pages 212-223

  Romero, Raúl ^a   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESCRIPTIONS; ENTERPRISE ARCHITECTURE; INFORMATION ARCHITECTURE; STAKEHOLDERS;

COMPUTER SOFTWARE; DISTRIBUTED PARAMETER NETWORKS; INFORMATION TECHNOLOGY; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING;

COMPUTATIONAL METHODS;

EID: 17744400292     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2004.1342517     Document Type: Conference Paper

References (28)

1. D. H. Akehurst, J. Derrick, and A. G. Waters. Addressing computational viewpoint design. In 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), pages 147-159, Brisbane, Australia, Sept. 2003. IEEE CS Press.
2. A. Albarrán, F. Durán, and A. Vallecillo. From Maude specifications to SOAP distributed implementations: A smooth transition. In Proc. of JISBD'01, Almagro, Ciudad Real (Spain), November 2001.
3. C. Bernardeschi, J. Dustzadeh, A. Fantechi, E. Najm, A. Nimour, and F. Olsen. Transformations and consistent semantics for ODP viewpoints. In H. Bowman and J. Derrick, editors, Proc. of FMOODS'97, pages 371-386, Canterbury, 1997. Chapman & Hall.
4. H. Bowman, J. Derrick, P. Linington, and M. W. Steen. FDTs for ODP. Computer Standards & Interfaces, 17:457-479, Sept. 1995.
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Comput. Sci., 285:187-243, Aug. 2002.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude 2.0 manual. Available in http://maude.cs. uiuc.edu., June 2003.
7. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In K. Futatsugi, A. Nakagawa, and T. Tamai, editors, CAFE: An Industrial-Strength Algebraic Formal Method, pages 1-31. Elsevier, 2000.
8. F. Durán, M. Roldán, and A. Vallecillo. Invariant-driven strategies for Maude. In Proc. of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004), volume 86 of Electronic Notes in Theoretical Computer Science, pages 1-20, Aachen, Germany, June 2004. Elsevier.
9. F. Durán and A. Vallecillo. Specifying the ODP information viewpoint using Maude. In H. Kilov and K. Baclawski, editors, Proceedings of Tenth OOPS LA Workshop on Behavioral Semantics, pages 44-57, Florida, Oct. 2001. Northeastern University.
10. F. Durán and A. Vallecillo. Formalizing ODP Enterprise specifications in Maude. Computer Standards & Interfaces, 25(2):83-102, June 2003.
11. S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker. In F. Gaducci and U. Montanari, editors, Proc. of the 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002), volume 71 of Electronic Notes in Theoretical Computer Science, pages 115-142, Pisa, Italy, Sept. 2002. Elsevier.
12. A. Février, E. Najm, and J.-B. Stefani. Contracts for ODP. In Proc. of the 4th AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, Mallorca, Spain, May 1997.
13. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In J. Goguen and G. Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action. Kluwer, 2000.
14. K. Havelund and G. Roşu. Monitoring programs using rewriting logic. In Proc. of Automated Software Engineering 2001 (ASE'01), pages 135-143, California, Nov. 2001. IEEE CS Press.
15. K. Havelund and G. Roşu. Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering, 2005.
16. IEEE. Recommened Practice for Architectural Description of Software-Intensive Systems. IEEE Std. 1471, 2000.
17. ISO/IEC. RM-ODP. Reference Model for Open Distributed Processing. Geneva, Switzerland, 1997. International Standard ISO/IEC 10746-1 to 10746-4, ITU-T Recommendations X.901 to X.904.
18. P. Kruchten. Architectural blueprints - The "4+1" view model of software architecture. IEEE Software, 12(6):42-50, Nov. 1995.
19. P. Linington. RM-ODP: The architecture. In K. Milosevic and L. Armstrong, editors, Open Distributed Processing II, pages 15-33. Chapman & Hall, Feb. 1995.
20. N. Martí-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 9, pages 1-87. Kluwer Academic Publishers, second edition, 2002.
21. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Comput. Sci., 96:73-155, 1992.
22. J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of Lecture Notes in Computer Science, pages 18-61. Springer-Verlag, 1998.
23. E. Najm and J.-B. Stefani. A formal operational semantics for the ODP computational model. Computer Networks and ISDN Systems, 27:1305-1329, 1995.
24. E. Najm and J.-B. Stefani. Computational models for open distributed systems. In H. Bowman and J. Derrick, editors, Proc. of FMOODS'97, pages 157-176, Canterbury, 1997. Chapman & Hall.
25. OMG. A UML Profile for Enterprise Distributed Object Computing V1.0. Object Management Group, Aug. 2001. OMG document ad/2001-08-19.
26. R. Sinnot and K. J. Turner. Specifying ODP computational objects in 2. In E. Najm and J.-B. Stefani, editors, Proc. of FMOODS'96, pages 375-390, Canterbury, 1997. Chapman & Hall.
27. M. W. Steen and J. Derrick. ODP Enterprise View-point Specification. Computer Standards & Interfaces, 22(2):165-189, Sept. 2000.
28. J. A. Zachman. The Zachman Framework: A Primer for Enterprise Engineering and Manufacturing. Zachman International, 1997. http://www.zifa.com.