Formalizing ODP enterprise specifications in Maude

Computer Standards and Interfaces

Volumn 25, Issue 2, 2003, Pages 83-102

  Durán, Francisco ^a   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Enterprise viewpoint; Maude; Rewriting logic; RM ODP

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC;

ENTERPRISE SPECIFICATION;

COMPUTER SCIENCE;

EID: 0037402809     PISSN: 09205489     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0920-5489(02)00121-6     Document Type: Article

References (28)

1. Aagedal J., Milos̃ević Z. ODP enterprise language: UML perspective. Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany. September 1999;IEEE Publishing.
2. Bernardeschi C., Dustzadeh J., Fantechi A., Najm E., Nimour A., Olsen F. Transformations and consistent semantics for ODP viewpoints. Bowman H., Derrick J. Proc. of FMOODS'97, Canterbury. 1997;Chapman & Hall.
3. Blanc X., Gervais M.-P., Delliou R.L. Using the UML language to express the ODP enterprise concepts. Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany. September 1999;IEEE Publishing.
4. Boiten E.A., Bowman H., Derrick J., Linington P., Steen M.W. Viewpoint consistency in ODP. Computer Networks. 34(3):August 2000;503-537.
5. Bowman H., Derrick J., Linington P., Steen M.W. FDTs for ODP. Computer Standards and Interfaces. 17:September 1995;457-479.
6. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., Quesada J. Maude: specification and programming in rewriting logic. Theoretical Computer Science. 285:August 2002;187-243.
7. Clavel M., Durán F., Eker S., Meseguer J. Building equational proving tools by reflection in rewriting logic. Futatsugi K., Nakagawa A., Tamai T. CAFE: An Industrial-Strength Algebraic Formal Method. 2000;1-31 Elsevier.
8. Coleman D., Arnold P., Bodoff S., Dollin C., Gilchrist H., Hayes F., Jeremaes P. Object-Oriented Development: The Fusion Method. 1994;Prentice Hall.
9. Durán F., Vallecillo A. Specifying the ODP information viewpoint using Maude. Kilov H., Baclawski K. Proceedings of the Tenth OOPSLA Workshop on Behavioral Semantics, Florida. October 2001;44-57.
10. Eker S., Mesegur J., Sridharanarayanan A. The Maude LTL model checker. Gaducci F., Montanari U. Proc. of the 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa, Italy. Electronic Notes in Theoretical Computer Science. vol. 71:September 2002;115-142 Elsevier.
11. Havelund K., Rosu G. Monitoring programs using rewriting. Proc. of Automated Software Engineering 2001 (ASE'01), California. November 2001;IEEE CS Press.
12. ISO/IEC, RM-ODP, Reference model for open distributed processing, Rec. ISO/IEC 10746-1 to 10746-4, ITU-T X.901 to X.904, ISO, 1997.
13. ISO/IEC, RM-ODP Enterprise Language, Draft International Standard ISO/IEC 15414, ITU-T X.911, ISO, 2001.
14. Jones A., Sergot M. On the Characterization of Law and Computer Systems: the Normative Systems Perspective. 1993;Wiley.
15. Kosiuczenko P., Wirsing M. Timed rewriting logic with an application to object-based specification. Science of Computer Programming. 28(2-3):1997;225-246.
16. Linington P. RM-ODP: the architecture. Milosevic K., Armstrong L. Open Distributed Processing II. February 1995;15-33 Chapman & Hall.
17. Linington P. Options for expressing ODP enterprise communities and their policies by using UML. Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany. September 1999;72-82 IEEE Publishing.
18. Lupu E., Sloman M., Dulay N., Damianou N. Ponder: realising enterprise viewpoint concepts. Proceedings of 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), Japan. September 2000;66-75 IEEE Publishing.
19. N. Martí-Oliet, J. Meseguer, Rewriting logic as a logical and semantic framework, Technical report SRI-CSL-93-05, Computer Science Laboratory, SRI International, August 1993, To appear in: D.M. Gabbay (Ed.), Handbook of Philosophical Logic, Kluwer Academic Publishers.
20. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science. 96:1992;73-155.
21. Meseguer J. Membership algebra as a logical framework for equational specification. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science. vol. 1376:1998;18-61 Springer-Verlag.
22. Meseguer J. Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems. Smith S.F., Talcott C.L. Proc. of FMOODS'2000, Stanford, CA. September 2000;89-117 Kluwer Academic Publishers.
23. Meyer J.J., Wieringa R.J. Deontic Logic in Computer Science: Normative System Specification. 1993;Wiley.
24. Najm E., Stefani J.-B. A formal operational semantics for the ODP computational model. Computer Networks and ISDN Systems. 27:1995;1305-1329.
25. Najm E., Stefani J.-B. Computational models for open distributed systems. Bowman H., Derrick J. Proc. of FMOODS'97, Canterbury. 1997;Chapman & Hall.
26. Ölveczky P.C., Meseguer J. Real-Time Maude: a tool for simulating and analyzing real-time and hybrid systems. Futatsugi K. Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications (WRLA'00). Electronic Notes in Theoretical Computer Science. vol. 36:2000;361-383 Elsevier.
27. Steen M.W., Derrick J. ODP enterprise viewpoint specification. Computer Standards and Interfaces. 22:September 2000;165-189.
28. van Lamsweerde A., Darimont R., Letier E. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering. 24(11):November 1998;908-926.