Logic Representation Of Processes In Work Activity Coordination

dc.creatorWainer J.
dc.date2000
dc.date2015-06-30T19:52:09Z
dc.date2015-11-26T14:47:27Z
dc.date2015-06-30T19:52:09Z
dc.date2015-11-26T14:47:27Z
dc.date.accessioned2018-03-28T21:57:54Z
dc.date.available2018-03-28T21:57:54Z
dc.identifier1581132409; 9781581132403
dc.identifierProceedings Of The Acm Symposium On Applied Computing. Association For Computing Machinery, v. 1, n. , p. 203 - 209, 2000.
dc.identifier
dc.identifier10.1145/335603.335745
dc.identifierhttp://www.scopus.com/inward/record.url?eid=2-s2.0-0346834298&partnerID=40&md5=a86b46533510b1e787849c56fee16ed4
dc.identifierhttp://www.repositorio.unicamp.br/handle/REPOSIP/107403
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/107403
dc.identifier2-s2.0-0346834298
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1253285
dc.descriptionThis paper put forth the argument that processes in work activities coordination software, like workflows, process centered software engineering environments (PSEE), and so on, should be represented in a logic language. This allows for a unified representation of processes, constraints, and policies, and allows for many modes of interactions with the work activity coordination software, as appropriate for manufacturing, workflow applications, software processes application, and scientific applications. This paper discusses mainly the temporal aspects of a logic representation language for processes. © 2000 ACM.
dc.description1
dc.description
dc.description203
dc.description209
dc.descriptionArbaoui, S., Oquendo, F., Chapter Peace: Goal-oriented logic-based formalism for process modeling (1994) Software Process Modelling and Technology, , John Wiley and Sons
dc.descriptionBorgida, A., Murata, T., Tolerating exceptions in workflows: A unified framework for data and processes (1999) Proeceedings of the International Joint COnference on Work Activities Coordination and Collaboration (WACC'99), pp. 59-68. , Software Engineering Notes, March 1999
dc.descriptionCoalition, W.M., (1994) Workflow Reference Model, , Brussels
dc.descriptionEllis, C., Keddara, K., Rozenberg, G., Dynamic change within workflow systems ACM Proc. Conf. on Organizational Computing Systems, 1995
dc.descriptionEmerson, E.A., Temporal and modal logics (1990) Handbook of Theoretical Computer Science, pp. 995-1072. , J. van Leeuwen, editor, volume Volume B, Formal Methods and Semantics, Elsevier Science Publishers and The MIT Press
dc.descriptionFinkelstein, A., Kramer, J., Nuseibeh, B., (1994) Software Process Modeling and Technology, , John Wiley and Sons
dc.descriptionFuggetta, A., Wolf, A., (1996) Software Process, , John Wiley and Sons
dc.descriptionJablonski, S., Bussler, C., (1996) Workflow Management: Modeling Concepts, Architectures and Implementation, , International Thomson COmputer Press
dc.descriptionKlein, M., (1999) JCSCW: Special Issue on Flexible Workflows, , Klukwer Publishers, forthcomming
dc.descriptionNutt, G., (1994) Software Engineering Process Model Case Study, , Technical Report CU-CS-760-94, Department of COmputer Science, University of Colorado
dc.descriptionSheth, A., Proceedings of the Nsf Workshop on Workflow and Process Automation in Information Systems: State of the Art and Future Directions. Athens, USA, 8-10 May 1996
dc.descriptionShoham, Y., (1988) Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, , MIT Press, Cambridge, MA
dc.description(1998) Military Standard Defense System Software Development, , U.S. Department of Defense dod-std-2167a edition
dc.languageen
dc.publisherAssociation for Computing Machinery
dc.relationProceedings of the ACM Symposium on Applied Computing
dc.rightsfechado
dc.sourceScopus
dc.titleLogic Representation Of Processes In Work Activity Coordination
dc.typeActas de congresos


Este ítem pertenece a la siguiente institución