Stepwise rigorous development of distributed agile information systems: From UML-diagrams to component-based Petri Nets

Enterprise Information Systems

Volumn 2, Issue 2, 2008, Pages 121-156

  Aoumeur, Nasreddine ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Component based Petri Nets; Distributed agile information systems; Modelling and validation; Production systems; Rewriting logic; UML structural and behavioural diagrams

Indexed keywords

COMPUTER CIRCUITS; GRAPHIC METHODS; INFORMATION SYSTEMS; INFORMATION USE; MODELING LANGUAGES; PETRI NETS;

COMPONENT-BASED PETRI NETS; DISTRIBUTED AGILE INFORMATION SYSTEMS; MODELLING AND VALIDATION; PRODUCTION SYSTEM; REWRITING LOGIC; UML STRUCTURAL AND BEHAVIOURAL DIAGRAMS;

AGILE MANUFACTURING SYSTEMS;

EID: 46249131823     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517570801927403     Document Type: Article

References (57)

1. Abrial, JR (1996) The B book assigning programs to meanings, Cambridge University Press, Cambridge
2. Aoumeur, N., Balko, S. and Saake, G. Towards a three-level methodology for developing cooperative information systems. In: Proc. of the 10th International Conference on Computing and Information (ICCI'2000) Springer, Kuweit
3. Aoumeur, N., Conrad, S. and Saake, G. (1999) Prototyping object specifications using the Co- approach. Proc. Sixth Workshop Algorithmen und Werkzeuge fur Petrinetze, pp. 7-17. Frankfurt/Main
4. Andrade, L. and Fiadeiro, J. (2001) Coordination technologies for managing information system evolution. Proc. of CAISE'01, Volume 2068 of Lecture Notes in Computer Science, pp. 374-387. Springer, Berlin
5. Andrade, L. and Fiadeiro, J. (2004) Composition contracts for service interaction. Journal of Universal Computer Science, 10:4, pp. 375-390.
6. Aoumeur, N., Fiadeiro, J. and Oliveira, C. (2004) Towards an architectural approach for location-aware business processes. Proc. of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 147-152. IEEE Computer Society, Los Alamitos, CA
7. Aoumeur, N., Fiadeiro, J. and Oliveira, C. (2006) Distribution concerns in service-oriented modelling. International Journal of Internet Protocol Technology (IJIPT), 1:3, pp. 144-158.
8. Aoumeur, N. and Saake, G. On the specification and validation of cooperative information systems using an extended M. Proc. of 1st Int. OBJ/CafeOBJ/Maude Workshop, at FM'99 Conference Toulouse, France The Theta Foundation Bucharest, pp. 197-211. Romania
9. Aoumeur, N. and Saake, G. (1999) Towards an object Petri Nets model for specifying and validating distributed information systems. Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE'99, Volume 1626 of Lecture Notes in Computer Science, pp. 381-395. Springer, Berlin
10. Aoumeur, N. and Saake, G. (2002) A component-based Petri Net model for specifying and validating cooperative information systems. Data and Knowledge Engineering, 42:2, pp. 143-187.
11. Aoumeur, N. and Saake, G. Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic. Proc. of the 14th International Conference on Advanced Information Systems Engineering (CAiSE 2002) Toronto, Canada Springer, pp. 296-310. Berlin
12. Aoumeur, N. and Saake, G. (2003) Stepwise and rigorous development of evolving concurrent information systems: From semi-formal objects to sound evolving components. To appear in Proc. of the OOIS'03, Geneva, Swissland, Lecture Notes in Computer Science, Springer, Berlin
13. Aoumeur, N. and Saake, G. (2004) Dynamically evolving concurrent information systems: A component-based Petri Net proposal. Data and Knowledge Engineering, 50:2, pp. 117-173.
14. Aoumeur, N. and Saake, G. (2007) Dynamic interaction of information systems: Weaving connectors on component Petri Nets. 9th International Conference on Enterprise Information Systems (ICEIS'07), pp. 152-158. INSTICC, Portugal
15. Aoumeur, N. and Saake, G. (2007) UML-driven information systems and their formal integration validation and distribution. The 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2007-WorkshopΙCEIS'07), pp. 63-73. INSTICC, Portugal
16. Aoumeur, N., Saake, G. and Barkaoui, K. (2007) 11th European Conference on Software Maintenance and Reengineering. Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, pp. 123-136. The Netherlands: IEEE Computer Society, Amsterdam
17. Barjis, J. (2007) Automatic business process analysis and simulation based on DEMO. Enterprise Information Systems, 1:4, pp. 365-381.
18. Biberstein, O., Buchs, D. and Guelfi, N. (1997) CO-OPN/2: A concurrent object-oriented formalism. Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), pp. 57-72. Chapman and Hall, Canterbury, UK
19. Battiston, E., Chizzone, A. and de Cindio, F. (1995) Inheritance and concurrency in CLOWN. Proc. of the 'Application and Theory Petri Nets' Workshop on Object-Oriented Programming and Models of Concurrency, Volume 935 of Lecture Notes in Computer Science, Springer, Berlin
20. Battiston, E. and de Cindio, F. (1993) Class orientation and inheritance in modular algebraic nets. Proc. of IEEE International Conference on Systems and Cybernetics, pp. 717-723. Le Touquet, France
21. Battiston, E., de Cindio, F. and Mauri, G. (1988) OBJSA Nets: A class of high level nets having objects as domains. Advances in Petri Nets, Volume 340 of Lecture Notes in Computer Science, pp. 20-43. Springer, Berlin
22. Biberstein, O. et al. (1997) Comparison of object-oriented formal methods, Design for validation, Department of Computer Science, University of Newcastle Upon Tyne, Available from: http://lglwww.
23. Booch, G., Jacobson, I. and Rumbaugh, J. (1998) The unified modeling language reference manual, Addison-Wesley, Reading, MA
24. Booch, G., Jacobson, I. and Rumbaugh, J. (1998) Unified modeling language, Notation Guide, Version 1.0, Addison-Wesley, Reading, MA
25. Booch, G. (1993) Object-oriented analysis and design: With applications, Addison-Wesley, Reading, MA
26. Clavel, M., Duran, F., Eker, S., Meseguer, J. and Stehr, M. (1999) Maude: Specification and Programming in Rewriting Logic, Technical report, SRI, Computer Science Laboratory
27. Craigen, D., Gerhart, S. and Ralston, T. (2005) Formal methods reality check: Industrial usage. IEEE Transactions of Software Engineering, 21:2, pp. 90-98.
28. Clavel, M. and Meseguer, J. (1996) Reflection and Strategies in rewriting logic. Proc. of Reflection'96, pp. 263-288. PARC, Xerox
29. Du Bois, P (1995) Thesis PhD. The Albert II language: On the design and the use of a formal specification language for requirements analysis, Computer Department, University of Namur, Namur(Belgique)
30. Gentleware, AG (2002) Introduction to Poseidon for UML.
31. Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, JP (1992) Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International
32. Harel, D. (1988) On visual formalisms. Communication of the ACM, 31:5, pp. 514-530.
33. Hensel, U., Huisman, M., Jacobs, B. and Tews, H. (1998) Reasoning about classes in object-oriented languages: Logical models and tools. European Symposium on Programming, Volume 1381 of Lecture Notes in Computer Science, pp. 105-121. Springer, Berlin
34. Jacobson, I., Christerson, P., Jonsson, M. and vergaard, G. (1993) Object-oriented software engineering a use case driven approach, Addison-Wesley, Wokingham, England
35. Jensen, K. (1992) Coloured Petri Nets: Basic concepts, analysis methods and practical Use -Volume 1: Basic concepts. EATCS Monographs in Computer Science, 26
36. Jensen, K. and Rozenberg, G. (1991) High-level Petri Nets, Springer, Berlin
37. Jungclaus, R., Saake, G., Hartmann, T. and Sernadas, C. (1996) T -A language for object-oriented specification of information systems. ACM Transactions on Information Systems, 14:2, pp. 175-211.
38. Jungclaus, R., Wieringa, RJ, Hartel, P., Saake, G. and Hartmann, T. (1994) Combining T with the object modeling technique. Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgesprach FG 1: Integration von semi-formalen und formalen Methoden fur die Spezifikation von Software, pp. 35-42. Springer, Informatik aktuell
39. Kruchten, P. (2000) The rational unified process -an introduction, Addison-Wesley, Reading, MA
40. Lakos, C. (1996) The consistent use of names and polymorphism in the definition of objects Petri nets. Proc. of 17th Application and Theory of Petri Nets, Volume 1091 of Lecture Notes in Computer Science, pp. 380-399. Springer, Berlin
41. Lano, K. (1995) Formal object-oriented development, Springer, Berlin
42. Meseguer, J. (1992) Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96, pp. 73-155.
43. Marti-Oliet, N. and Meseguer, J. (1996) Rewriting logic as a logical and semantic framework. Proc. of First International Workshop on Rewriting Logic, Volume 4 of Electronic Notes in Theoretical Computer Science, pp. 189-224. Elsevier, Amsterdam
44. OMG (2005) UML 2.0: Superstructure Specification. Version 2.0, formal/ 05-07-04.
45. Olderog, E-R and Wehrheim, H. (2005) Specification and (property) inheritance in CSP-OZ. Science of Computer Programming, 55, pp. 227-257.
46. Poladian, V., Pedro Sousa, J, Garlan, D. and Shaw, M. (2004) Dynamic configuration of resource-aware services. Proceedings of the 26th International Conference on Software Engineering (ICSE), ACM Press, New York
47. Papazoglou, MP and Schlageter, G. (1998) Cooperative information systems: Trends and directions, Academic Press, Boston
48. Quatrani, T. (2002) Visual modeling with rose 2002 and UML, Addison-Wesley, Reading, MA
49. Rumbaugh, J., Blaha, M., Premerlani, W. and Eddy, F. (2001) Object-oriented modeling and design, Prentice-Hall, Englewood cliffs, NJ
50. Reisig., W (1991) Petri Nets and abstract data types. Theoretical Computer Science, 80, pp. 1-30.
51. Richters, M. and Gogolla, M. (2000) Validating uml models and ocl constraints. Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), Springer, LNCS, Berlin
52. Sibertin-Blanc, C. (1994) Communicative and cooperative nets. Proc. of the 15th International Confernce on the application and Theory of Petri Nets, Volume 815 of Lecture Notes in Computer Science, Springer, Berlin
53. Snook, C. and Bulter, M. (2006) UML-B: Formal modeling and design. ACM Transactions on Software Engineering and Methodology, 15:1, pp. 92-122.
54. Shu, Q. and Wang, C. (2007) A conceptual framework for product lifecycle modelling. Enterprise Information Systems, 1:3, pp. 353-363.
55. Wirsing, M. and Knapp, A. (1996) A formal approach to object-oriented software engineering. ENTCS, 4, pp. 322-360.
56. Wan-Kadir, WMN and Loucopoulos, P. (2003) Relating evolving business rules to software design. Journal of Systems Architecture, 50, pp. 367-382.
57. Zang, C. and Fan, Y. (2007) Complex event processing in enterprise information systems based on RFID. Enterprise Information Systems, 1:1, pp. 3-23.